Faculty Profiles
Laura Dillon
Professor
Research Interests
- formal methods
Research Biography
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.
Selected Publications
- "A Model-Based Design for Verification Approach to Checking Deadlock in Multi-Threaded Systems" (with B. Sarna-Starosta and K. Stirewalt). International Journal of Software Engineering and Knowledge Engineering, Vol. 17, Issue 2, April 2007, pp. 207-230.
- "A Study of Student Strategies for the Corrective Maintenance of Concurrent Software" (with S. D. Fleming, E. Kraemer, R. E. K. Stirewalt and S. Xie), Proceedings of the International Conference on Software Engineering, Leipzig, DE, May 2008
- "Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components" (with K. Stirewalt), IEEE Transactions on Software Engineering, Vol. 29, No. 2, February 2003, pp. 133-150.
- "Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software" (with S. D. Fleming, E. Kraemer, R. E. K. Stirewalt and S. Xie), Proceedings of the IEEE International Conference on Program Comprehension, Amsterdam, June 2008
Selected Achievements and Awards
- 2008 CRA-W Distinguished Professor
- ACM Distinguished Lecturer, 1993-present
- CIC Fellow, Academic Leadership Program, 2005-06