Kenneth L. McMillan is a researcher affiliated with Microsoft in the United States. Their academic work primarily spans the field of computer science, with a focused contribution to artificial intelligence, computational theory and mathematics, software, computer networks and communications, and safety, risk, reliability, and quality.
Their research topics address several core areas including formal methods in verification, logic, programming, and type systems, software testing and debugging techniques, safety systems engineering in autonomy, distributed systems and fault tolerance, advanced software engineering methodologies, and embedded systems design techniques.
Recent publications by Kenneth L. McMillan include:
Kenneth L. McMillan has frequently collaborated with other researchers, including Oded Padon, Cristina Nita-Rotaru, Lenore D. Zuck, Sharon Shoham, and Mooly Sagiv.
Their work has been published in venues such as:
McMillan is also the author of a book published by Springer Science+Business Media titled Verification, Model Checking, and Abstract Interpretation, released in 2022. This work has been cited in the context of formal verification methods.
The researcher was awarded the ACM Paris Kanellakis Theory and Practice Award in 1998 for contributions related to symbolic model checking.
Edmund M. Clarke;Kenneth L. McMillan;Sérgio Vale Aguiar Campos;Vassili Hartonas-Garmhausen
J.R. Burch;E.M. Clarke;K.L. McMillan;D.L. Dill
Kenneth Lauchlin McMillan
Kenneth L. McMillan
Kenneth L. Mcmillan
J.R. Burch;E.M. Clarke;D.E. Long;K.L. McMillan
J. R. Burch;E. M. Clarke;K. L. McMillan;David L. Dill
E.M. Clarke;D.E. Long;K.L. McMillan
Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Kenneth L. McMillan
Kenneth L. McMillan
L.P. Carloni;K.L. McMillan;A.L. Sangiovanni-Vincentelli
Ken L. Mcmillan
Unknown
E. M. Clarke;K. L. McMillan;X Zhao;M. Fujita
K. L. McMillan
Kenneth L. McMillan
E. M. Clarke;O. Grumberg;K. L. McMillan;X. Zhao
Kenneth L. McMillan;Nina Amla
Nikolaj Bjørner;Arie Gurfinkel;Kenneth L. McMillan;Andrey Rybalchenko
K. L. McMillan
Edmund M. Clarke;Orna Grumberg;Hiromi Hiraishi;Somesh Jha
Kavita Ravi;Kenneth L. McMillan;Thomas R. Shiple;Fabio Somenzi
Unknown
If you think any of the details on this page are incorrect, let us know.
Advancing in Computer Science doesn’t have to follow a traditional path. Many students explore related degrees and career pathways online, offering flexibility and affordability.
For those looking to combine technical skills with leadership in business, executive mba programs online make it possible to expand your management expertise without putting your career on hold. These programs prepare tech professionals for executive roles in today’s digital economy.
Interested in information management? A library science degree online focuses on digital archiving, information systems, and resource management—skills highly valued in tech-driven environments.
Those seeking cost-effective education options should explore affordable graduate schools. These programs offer a wide range of computer science and related fields, helping you earn a respected credential without excessive debt.
Finally, for professionals aiming to influence organizational strategy or pursue academia, a phd leadership online can be the next step, opening pathways to senior leadership and innovative research roles.
University of Tokyo
South China Agricultural University
University of Bonn
Qingdao University
University of Electronic Science and Technology of China
National University of Tucumán
University of Southampton
University of Orléans
Korea Advanced Institute of Science and Technology
Université Libre de Bruxelles
University of Florida
United States Department of Agriculture
RIKEN
Veer Narmad South Gujarat University
University of Burgundy
Purdue University West Lafayette
