Михалис Яннакакис

Михалис Яннакакис Биография и образование Михалис Яннакакис родился в Афинах, Греция, в 1953 году.   Окончил Национальный технический университет Афин и […]

Михалис Яннакакис

  • Биография и образование

    • Михалис Яннакакис родился в Афинах, Греция, в 1953 году.  
    • Окончил Национальный технический университет Афин и защитил докторскую диссертацию в Принстонском университете.  
    • Работал в Bell Laboratories и Avaya Laboratories, затем в Стэнфордском и Колумбийском университетах.  
  • Вклад в науку

    • Известен работами в области вычислительной сложности, баз данных, автоматизированной верификации и тестирования.  
    • Внес вклад в теорию сложности, включая определение классов сложности Max-NP и Max-SNP.  
    • Разработал ациклические схемы баз данных и двухфазную блокировку.  
    • Внес вклад в автоматизированную верификацию и тестирование, включая адаптивную проверку модели.  
  • Награды и признание

    • Член Национальной инженерной академии и Национальной академии наук.  
    • Удостоен премии Кнута за вклад в теоретическую информатику.  
    • Получил премию Bell Labs за выдающийся вклад и золотую премию президента Bell Labs.  
    • Член ACM и Bell Laboratories.  
    • В 2020 году избран членом Американской академии искусств и наук.  

Полный текст статьи:

Михалис Яннакакис

Оставьте комментарий

Прокрутить вверх