Кеннет Л. Макмиллан
-
Биография Кеннета Л. Макмиллана
- Американский ученый-компьютерщик в области формальных методов и языков программирования
- Профессор факультета компьютерных наук Техасского университета в Остине
- Имеет адмиральскую степень бакалавра
-
Карьера и достижения
- Получил докторскую степень в Университете Карнеги-Меллон в 1992 году
- Изобрел проверку символьных моделей, за что получил премию ACM в 1992 году
- В 1998 году получил премию ACM Paris Kanellakis Award за теорию и практику
- Работал в Bell Labs, Cadence Berkeley Labs и Microsoft Research
- В 2021 году перешел на факультет Техасского университета в Остине
-
Исследования
- Пионер в области формальных методов
- Создал семейство средств проверки моделей SMV/NuSMV
- Применил методы интерполяции Крейга в системах проверки моделей
- Известен работой над проблемой ограниченного предложения Хорна и инструментом проверки IVy
-
Награды
- Получил множество престижных наград, включая премию POPL и премию LICS
- Награжден медалью КМУ имени Аллена Ньюэлла и премией CAV Award
- Получил премию ACM имени Пэриса Канеллакиса и премию SRC за техническое совершенство
-
Вклад в науку
- В настоящее время входит в руководящий комитет CAV
-
Рекомендации
- Нет информации о рекомендациях