Ken McMillan
Professor, Admiral B.R. Inman Centennial Chair in Computing Theory
Ken McMillan
6 Longhorns 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’s innovations in symbolic model checking laid the foundation for tools that have become essential for ensuring correctness in complex engineering systems. Internet stability leader and UT alumnus Farnam Jahanian, who is president of Carnegie Mellon University, also received the honor.