K
Ken McMillan
Professor, Admiral B.R. Inman Centennial Chair in Computing Theory
Research Interests
Formal Methods
Programming Languages and Compilers
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Testing and Debugging Techniques
Model-Driven Software Engineering Techniques
Software Reliability and Analysis Research