Generate a tailored SOP for Dr. Ken Mcmillan. Improve your application with a focused, well-structured draft.
Ken McMillan is a Professor and holds the Admiral B.R. Inman Centennial Chair in Computing Theory at the University of Texas at Austin. His primary research interest is in making automated formal verification tools usable for productive development of real systems, particularly the interaction between humans and machines in formal reasoning. His work covers various applications of automated verification and explainable artificial intelligence. He has significantly contributed to the field of formal methods, including introducing Symbolic Model Checking and Craig Interpolation methods, which have expanded the scalability of automated verification techniques. Over the years, Ken has worked in industrial research roles at AT&T Bell Labs, Cadence Research Labs, Microsoft Research, and Amazon Web Services before joining the faculty at UT Austin in 2021. He is actively involved in the academic community, serving on the steering committee for the Computer-Aided Verification conference. His research areas include symbolic model checking, Petri net unfoldings, automated abstraction, compositional methods, Craig interpolation, deductive verification, and specification-based testing.
General requirements for the Graduate School at UT Austin apply to all programs unless otherwise specified.