Kenneth L. McMillan

E824077

computer scientist researcher

Kenneth L. McMillan is a computer scientist best known for pioneering work in symbolic model checking and formal verification methods for hardware and software systems.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (1)

Label	Occurrences
Kenneth L. McMillan canonical	1

Statements (46)

Predicate	Object
instanceOf	computer scientist ⓘ researcher ⓘ
academicDegree	Bachelor’s degree in computer science from MIT ⓘ PhD in computer science from the University of California, Berkeley ⓘ
authorOf	Symbolic Model Checking: An Approach to the State Explosion Problem NERFINISHED ⓘ
awardReceived	ACM Paris Kanellakis Theory and Practice Award NERFINISHED ⓘ ACM SIGPLAN Most Influential POPL Paper Award NERFINISHED ⓘ CAV Award NERFINISHED ⓘ
citizenship	United States of America ⓘ surface form: United States
contributedTo	SAT-based model checking ⓘ abstraction and refinement techniques in verification ⓘ verification of hardware designs ⓘ verification of software systems ⓘ
developed	IC3 / Property Directed Reachability (PDR) algorithm NERFINISHED ⓘ interpolation-based model checking methods ⓘ symbolic model checking techniques ⓘ
doctoralAdvisor	Zohar Manna NERFINISHED ⓘ
educatedAt	Massachusetts Institute of Technology ⓘ University of California, Berkeley ⓘ
employer	Amazon Web Services NERFINISHED ⓘ Cadence Design Systems NERFINISHED ⓘ Carnegie Mellon University NERFINISHED ⓘ Microsoft Research NERFINISHED ⓘ
fieldOfWork	computer science ⓘ formal methods ⓘ formal verification ⓘ model checking ⓘ symbolic model checking ⓘ
hasResearchInterest	SAT and SMT solving ⓘ automated reasoning ⓘ decision procedures ⓘ temporal logic ⓘ
influenced	industrial hardware verification practice ⓘ software model checking research ⓘ
knownFor	Craig interpolation in model checking ⓘ IC3 model checking algorithm NERFINISHED ⓘ symbolic model checking ⓘ
memberOf	Association for Computing Machinery NERFINISHED ⓘ
notableFor	formal verification methods for hardware systems ⓘ formal verification methods for software systems ⓘ pioneering work in symbolic model checking ⓘ
notableWork	Symbolic Model Checking: An Approach to the State Explosion Problem NERFINISHED ⓘ
presentedAt	Computer Aided Design of Integrated Circuits and Systems venues NERFINISHED ⓘ Computer Aided Verification conference NERFINISHED ⓘ Principles of Programming Languages conference NERFINISHED ⓘ
workLocation	United States of America ⓘ surface form: United States

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Symbolic Model Checking → associatedWithResearcher → Kenneth L. McMillan ⓘ