Ken McMillan
Professor, Admiral B.R. Inman Centennial Chair in Computing Theory
Ken McMillan
Ken McMillan Elected to the National Academy of Engineering
02/11/2026 - Ken McMillan, a professor in the Department of Computer Science, was recently inducted into the National Academy of Engineering, one of the highest honors in the field. McMillan is known for his work on symbolic model checking, which enabled automatic verification of hardware and software systems with extremely large state spaces. His innovations laid the foundation for tools such as the Symbolic Model Verifier (SMV), which have become essential for ensuring correctness in complex engineering systems.