Оглавление
Михалис Яннакакис
-
Биография и образование
- Михалис Яннакакис родился в Афинах, Греция, в 1953 году.
- Окончил Национальный технический университет Афин и защитил докторскую диссертацию в Принстонском университете.
- Работал в Bell Laboratories и Avaya Laboratories, затем в Стэнфордском и Колумбийском университетах.
-
Вклад в науку
- Известен работами в области вычислительной сложности, баз данных, автоматизированной верификации и тестирования.
- Внес вклад в теорию сложности, включая определение классов сложности Max-NP и Max-SNP.
- Разработал ациклические схемы баз данных и двухфазную блокировку.
- Внес вклад в автоматизированную верификацию и тестирование, включая адаптивную проверку модели.
-
Награды и признание
- Член Национальной инженерной академии и Национальной академии наук.
- Удостоен премии Кнута за вклад в теоретическую информатику.
- Получил премию Bell Labs за выдающийся вклад и золотую премию президента Bell Labs.
- Член ACM и Bell Laboratories.
- В 2020 году избран членом Американской академии искусств и наук.