Оглавление
Э. Аллен Эмерсон
-
Биография и достижения Э. Аллена Эмерсона II
- Американский ученый-компьютерщик, лауреат премии Тьюринга 2007 года
- Почетный профессор и заведующий кафедрой в Техасском университете в Остине
- Известен разработкой проверки моделей, метода формальной верификации ПО и оборудования
-
Вклад в науку
- Совместно с Эдмундом М. Кларком и Джозефом Сифакисом разработал проверку моделей
- Внес вклад в развитие темпоральной и модальной логики, включая логику дерева вычислений (CTL)
- Разработал символьные методы проверки моделей для решения проблемы комбинаторного взрыва
-
Ранние годы и образование
- Родился в Далласе, Техас, начал работать с вычислительной техникой в молодости
- Получил степень бакалавра и доктора философии по математике в Техасском и Гарвардском университетах соответственно
-
Карьера и награды
- В начале 1980-х разработал методы проверки систем с конечным состоянием
- В 2007 году получил премию Тьюринга за вклад в верификацию ПО и оборудования
- В 1998 году получил премию ACM Paris Kanellakis Award за разработку символьных методов проверки моделей
-
Ссылки и рекомендации
- Ссылки на внешние ресурсы и рекомендации по дополнительному изучению