Открыть главное меню

Миха́лис Яннака́кис (греч. Μιχάλης Γιαννακάκης, англ. Mihalis Yannakakis; род. 13 сентября 1953, Афины, Греция) — греческий учёный в области компьютерных наук, профессор Колумбийского университета (Нью-Йорк, США). Известен своими работами в области теории сложности вычислений, баз данных и других смежных областях. Лауреат Премии Кнута (2005). Член Национальной академии наук США (2018)[1].

Михалис Яннакакис
греч. Μιχάλης Γιαννακάκης
Mihalis Yannakakis 2006.jpg
Дата рождения 13 сентября 1953(1953-09-13) (65 лет)
Место рождения Афины, Греция
Страна
Научная сфера теория сложности вычислений,
базы данных
Место работы ColumbiaShield.png Колумбийский университет
Альма-матер Афинский национальный технический университет
Научный руководитель Джеффри Ульман
Награды и премии Bell Labs Distinguished Member of Technical Staff Award (1985)
Bell Labs President’s Gold Award (2000)
Премия Кнута (2005)

Содержание

Образование и карьераПравить

Михалис Яннакакис родился в Афинах 13 сентября 1953 года и для раннего образования посещал Экспериментальную Гимназию Варвакио (греч. Βαρβάκειο Πειραματικό Γυμνάσιο) в Психико (Афины).

В 1975 году окончил Афинский национальный технический университет с дипломом в области электротехники, а в 1979 году получил степень доктора философии в области компьютерных наук в Принстонском университете (США). Его диссертация называлась «The Complexity of Maximum Subgraph Problems».[2]

В 1978 году Михалис Яннакакис присоединился к корпорации Лаборатории Белла (Мюррей Хилл, Нью-Джерси, США) и в 1991—2001 гг. был директором Отдела исследований основ информационных технологий. Затем он покинул Bell Laboratories и присоединился к Avaya Labs. Там Яннакакис был директором Отдела исследований основ информационных технологий до 2002 года.

В 2002 году Яннакакис занял пост профессора компьютерных наук в Стэнфордском университете, где оставался до 2003 года.

С 2004 года и по настоящее время работает профессором компьютерных наук в Колумбийском университете.

С 1992 по 2003 гг. Яннакакис работал в редакционной коллегии журнала SIAM Journal on Computing (SICOMP), в 1998-2003 гг. был его главным редактором. В 1986-2000 гг. он также работал в редакции Журнала Ассоциации вычислительной техники. Михалис Яннакакис работает в редакционных коллегиях ряда других журналов, включая Журнал компьютерных и системных наук (англ. Journal of Computer and System Sciences), Журнал комбинаторной оптимизации (англ. Journal of Combinatorial Optimization) и Журнал сложности (англ. Journal of Complexity). Он также был членом согласительных комитетов и возглавлял различные конференции, такие как ACM Symposium on Principles of Database Systems (PODS) и IEEE Symposium on Foundations of Computer Science.

По состоянию на ноябрь 2015 года, научные публикации Михалиса Яннакакиса были процитированы около 27000 раз, а его h-индекс составляет 86.[3]

Научно-исследовательская работаПравить

Михалис Яннакакис известен благодаря вкладу в компьютерную науку, в такие области как теория сложности вычислений, теория баз данных, автоматизированная верификация и тестирование, а также алгоритмическая теория графов.

Особое место среди ценных достижений учёного в сфере теории сложности занимают две ключевые работы на темы теории вероятностно проверяемых доказательств и сложности аппроксимации. В 1988 году, на ежегодном, финансируемом Ассоциацией вычислительной техники (АВТ) симпозиуме по теории вычислений, Михалис Яннакакис и Христос Пападимитриу представили определения классов сложности Max-NP и Max-SNP (является подклассом Max-NP), содержащих ряд интересных задач оптимизации. Яннакакис и Пападимитриу показали, что эти задачи имеют некоторую ограниченную ошибку. С помощью этих выводов стало возможным объяснить замеченное в научно-исследовательском сообществе отсутствие прогресса в изучении аппроксимируемости целого ряда задач оптимизации, в том числе задачи «3-выполнимость», задачи о независимом множестве, а также задачи коммивояжёра.[4]

В 1993 году, на очередном симпозиуме АВТ по теории вычислений, Михалис Яннакакис и Карстен Лунд представили ряд важных выводов относительно вопросов вычислений аппроксимаций. Эти результаты показали трудность эффективного вычисления приближенных решений ряда задач минимизации, таких как случай раскраски графов и задача о покрытии множества. Учитывая маловероятность того, что такие NP-трудные задачи будут разрешены оптимальным образом за полиномиальное время, было осуществлено много попыток разработать для них эффективные приближённые решения. Результаты, полученные Яннакакисом и Карстеном, доказали низкую вероятность достижения этой цели.[5]

В области теории баз данных основной вклад Михалиса Яннакакиса состоит в инициировании исследований ациклических баз данных и недвухфазного блокирования. Ациклические схемы базы данных - это схемы, содержащие одну ациклическую зависимость соединения и набор функциональных зависимостей.[6] Ряд исследователей, в том числе Яннакакис, отметили пригодность этих схем, продемонстрировав множество полезных свойств, которые они имеют: возможность решения многих задач, основанных на ациклических схемах за полиномиальное время, несмотря на то, что задача могла быть NP-полной для других схем.[7]

Награды и премииПравить

Удостоен Премии Кнута (2005) за значимость, влияние и поразительную степень его вклада в теоретические основы вычислительной техники, а также стал обладателем двух наград от Bell Labs: Distinguished Member of Technical Staff Award (1985) и President’s Gold Award (2000). Является членом Ассоциации вычислительной техники и исследовательского центра Лаборатории Белла.

ПримечанияПравить

  1. National Academy of Sciences Members and Foreign Associates Elected. NAS (May 1, 2018).
  2. The Mathematics Genealogy Project - Mihalis Yannakakis (accessed 9 December 2009)
  3. Googel Scholar Record of M. Yannakakis.
  4. Christos Papadimitriou , Mihalis Yannakakis, Optimization, approximation, and complexity classes, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.229-234, 2–4 May 1988.
  5. Carsten Lund , Mihalis Yannakakis, On the hardness of approximating minimization problems, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.286-293, 16–18 May 1993.
  6. Catriel Beeri , Ronald Fagin , David Maier , Alberto Mendelzon , Jeffrey Ullman , Mihalis Yannakakis, Properties of acyclic database schemes, Proceedings of the thirteenth annual ACM symposium on Theory of computing, p.355-362, 11–13 May 1981.
  7. Catriel Beeri , Ronald Fagin , David Maier , Mihalis Yannakakis, On the Desirability of Acyclic Database Schemes, Journal of the ACM (JACM), v.30 n.3, p.479-513, July 1983.

СсылкиПравить