Ken McMillan

Professor

University of Texas at Austin · United States

Formal MethodsProgramming Languages and Compilers

About

Ken McMillan's primary research area is formal methods. He has worked on topics such as symbolic model checking, Petri net unfoldings, automated abstraction, compositional methods, Craig interpolation, deductive verification and specification-based testing.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.