Kenneth McMillan

Full Professor, University of Texas, Austin

  • Joined May 2021

Names

Kenneth McMillan (Preferred)

Emails

****@gmail.com (Confirmed)
,
****@cs.utexas.edu
,
****@microsoft.com

Personal Links

Career & Education History

Full Professor
University of Texas, Austin (cs.utexas.edu)
2021 – Present
 
Principal Scientist
Amazon (amazon.com)
2020 – 2021
 
Principal Researcher
Microsoft (microsoft.com)
2010 – 2020
 
Fellow
Cadence Design Systems (cadence.com)
1994 – 2010
 

Advisors, Relations & Conflicts

No relations added

Expertise

explainable AI
2020 – 2021
 
formal verification
1987 – 2021