• Main Menu
Main Menu
Menu

Laura Dillon

Laura Dillon

Laura Dillon

Professor - Emeritus

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.

Research Area
Awards
CIC Fellow, Academic Leadership Program, 2005-06
2008 CRA-W Distinguished Professor
ACM Distinguished Lecturer, 1993-present
Education
Ph.D., Computer Science, University of Massachusetts Amherst 1984
M.S., Computer Science, University of Massachusetts Amherst 1981
M.S., Mathematics, University of Michigan 1976
B.A., Mathematics, University of Michigan 1974
Publications
"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
"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 InternationalConference on Software Engineering, Leipzig, DE, May 2008
"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.
"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.
MSU Scholars ID
laura-k-dillon-2