Kenneth McMillan (Preferred)
, Kenneth L. McMillan
Kenneth McMillan
Full Professor, Computer Science, University of Texas, Austin
- Joined May 2021
Names
Emails
****@gmail.com (Confirmed)
, ****@cs.utexas.edu (Confirmed)
Personal Links
Career & Education History
Full Professor
Computer Science, University of Texas, Austin (cs.utexas.edu)
2021 – Present
Principal Scientist
Amazon Web Services, Amazon (amazon.com)
2020 – 2021
Principal Researcher
Microsoft Research, Microsoft (microsoft.com)
2010 – 2020
Fellow
Cadence Berkeley Labs, Cadence Design Systems (cadence.com)
1994 – 2010
Member of the Technical Staff
Computing Sciences Research, Bell Labs (bell-labs.com)
1993 – 1994
PhD student
School of Computer Science, Carnegie Mellon University (cmu.edu)
1987 – 1992
MS student
Electrical Engineering, Stanford University (stanford.edu)
1984 – 1985
Undergrad student
Electrical Engineering, University of Illinois at Urbana-Champaign (illinois.edu)
1980 – 1984
Advisors, Relations & Conflicts
Expertise
explainable AI
2020 – 2025
formal verification
1987 – 2025