Laura Dillon




Laura Dillon received the Ph.D. degree in Computer Science from the University of Massachusetts in 1984. She spent thirteen years in the Department of Computer Science at the University of California, Santa Barbara, before joining the Department of Computer Science and Engineering (CSE) at Michigan State University in 1997. She served as the CSE Department Chair from 2003-2007. Professor Dillon's research interests center on specification and analysis of concurrent software systems, formal methods in software engineering, and programming languages.