Kenneth L. McMillan is an American computer scientist working in the area of formal methods, logic, and programming languages. He is a professor in the computer science department at the University of Texas at Austin, where he holds the Admiral B.R. Inman Centennial Chair in Computing Theory.[1]
- ^ "Ken McMillan | Department of Computer Science". Computer Science, University of Texas at Austin: Faculty and Researchers.