Not registered as user yet
Name: Kenneth L. McMillan
Bio: Ken McMillan is a principal researcher at Microsoft Research in Redmond, Washington. He works in formal verification, primarily in model checking for hardware and software. 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. He was formerly a member of the technical staff at AT&T Bell Laboratories and a fellow at Cadence research labs.
Country: United States
Affiliation: Microsoft Research
Personal website: https://www.microsoft.com/en-us/research/people/kenmcmil/
Research interests: Formal verification, model checking, program analysis, decision procedures and automated theorm provers, abstraction refinement, compositional methods, parameterized systems, Craig interpolation.
POPL 2018 Activities
- Author of P5: Planner-less Proofs of Probabilistic Parameterized Protocols within the VMCAI 2018-track in VMCAI 2018
- Committee Member in Program Committee for VMCAI 2018
- Author of How to Stay Decidable within the VMCAI 2018-track in VMCAI 2018
- invited speaker in Invited Speakers for VMCAI 2018
- Session Chair of Model Checking (part of VMCAI 2018)
- Show activities from other conferences
View general profile