Ken McMillan
Professor
Research
Research Areas:
Research Interests:
Ken McMillan's primary research area is formal methods. He has worked on topics such as symbolic model checking, Petri net unfoldings, automated abstraction, compositional methods, Craig interpolation, deductive verification and specification-based testing.
Select Publications
Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, and Doug Woos. 2018. Modularity for decidability of deductive verification with applications to distributed systems. Association for Computing Machinery.
McMillan K.L. (2014) Lazy Annotation Revisited. In: Biere A., Bloem R. (eds) Computer Aided Verification. CAV 2014. Lecture Notes in Computer Science, vol 8559. Springer, Cham. https://doi.org/10.1007/978-3-319-08867-9_16
Kenneth L. McMillan, Lenore D. Zuck. 2019. Formal specification and testing of QUIC. Association for Computing Machinery.
Awards & Honors
2014 -
POPL Most Influential Paper Award
2010 -
LICS Test of Time Award
1998 -
CMU Allen Newell Medal, CAV Award
1998 -
ACM Paris Kanellakis Award
1996 -
SRC Technical Excellence Award
1992 -
ACM Doctoral Dissertation Award