Kenneth L. McMillan
id:
kenneth-l-mcmillan-288-3630398
title:
Kenneth L. McMillan
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
American computer scientist
original url:
https://en.wikipedia.org/wiki/Kenneth_L._McMillan
date created:
date modified:
2024-01-11T06:30:46Z
main entity:
{"identifier":"Q15823365","url":"https://www.wikidata.org/entity/Q15823365"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/c/cb/Edmund_Clarke_2_FLoC_2006.jpg","width":640,"height":432}
fields total:
13
integrity:
15