Kenneth L. McMillan

Kenneth L. McMillan's Academic­Influence.com Rankings

Kenneth L. McMillan

Computer Science

#4008

World Rank

#4215

Historical Rank

#1401

USA Rank

Database

#9152

World Rank

#9623

Historical Rank

#1274

USA Rank

computer-science Degrees

Download Badge

• Computer Science

Kenneth L. McMillan's Degrees

• PhD Computer Science Stanford University
• Masters Computer Science Stanford University
• Bachelors Computer Science Stanford University

Similar Degrees You Can Earn

• Best Online PhD of Computer Science (Doctorates) 2026
• Best Online Master's in Computer Science
• 10 Fastest Accelerated Online Bachelor's of Computer Science
• Best Online Bachelor's in Computer Science 2026

Why Is Kenneth L. McMillan Influential?

According to Wikipedia, Kenneth L. McMillan is an American computer scientist working in the area of formal methods, logic, and programming languages. He is a professor in the computer science department at the University of Texas at Austin, where he holds the Admiral B.R. Inman Centennial Chair in Computing Theory.

Other Resources About Kenneth L. McMillan

• en.wikipedia.org

What Schools Are Affiliated With Kenneth L. McMillan?

Kenneth L. McMillan is affiliated with the following schools:

• Stanford University
• Carnegie Mellon University