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
Publications
Co-Authors
- Alberto Griggio
- Alberto L. Sangiovanni-Vincentelli
- Alessandro Cimatti
- Alex Aiken
- Alexander Saldanha
- Amir Pnueli
- Amit Narayan
- Andreas Kuehlmann
- Andreas Podelski
- Andrey Rybalchenko
- Anubhav Gupta
- Anvesh Komuravelli
- Arie Gurfinkel
- Aurojit Panda
- Aws Albarghouthi
- Boyang Li
- Chris Hawblitzel
- Cole Vick
- Cristina Nita-Rotaru
- David A. Basin
- David E. Long
- David L. Dill
- Doron A. Peled
- Doug Woos
- Edmund M. Clarke