Thomas Ball
Orna Grumberg
Andreas Kuehlmann
Vigyan Singhal
Biography of Ken McMillan
Ken McMillan is a professor at University of Texas at Austin, Austin, TX. His primary research interest is in making automated formal verification tools that are usable and productive in the development of real systems, and especially in the interaction of humans and machines in formal reasoning. He is also interested in the application of concepts from automated verification to explainable AI. His past contributions to formal methods include the introduction of Symbolic Model Checking and Craig Interpolation methods, techniques that expand the scalability and range of automated verification. He worked for many years in industrial research, at AT&T Bell Labs, Cadence Research Labs, Microsoft Research, and Amazon Web Services, joining the CS faculty at UT Austin in 2021. He serves on the steering committee of the Computer-Aided Verification conference. He holds a BS in electrical engineering from the University of Illinois at Urbana (1984), an MS in electrical engineering from Stanford (1986) and a Ph.D. in computer science from Carnegie Mellon (1992). He is the author of the book “Symbolic Model Checking”, and the SMV symbolic model checking system. For his work in model checking, he has received the ACM doctoral dissertation award, the SRC technical excellence award, the ACM Paris Kannelakis award, the Alan Newell award from Carnegie Mellon and the Computer-aided Verification Conference award.
Relevant Links
Ken McMillan's Website | Wikipedia Page | DBLP | CAV Website