Mihalis Yannakakis est un chercheur en informatique, né le à Athènes. Il est actuellement professeur à l'université Columbia. Il est connu notamment pour ses travaux sur la théorie de la complexité et sur les bases de données. Il a reçu le prix Knuth en 2005 et le prix EATCS en 2020.
Biographie
Mihalis Yannakakis obtient son PhD à l'université de Princeton en 1978 sous la direction de Jeffrey David Ullman.. Il est rédacteur-en-chef du journal SIAM Journal on Computing de 1998 à 2003..
Travaux La notice du prix Knuth indique comme travaux importants : en complexité : la définition de la classe max-SNP (voir APX) et des travaux sur la difficulté d'approximation des problèmes de coloration de graphe et de couverture par ensembles; en théorie des bases de données; en vérification formelle, notamment pour les algorithmes de model checking.
Notes et références
Liens externes
Page personnelle à l'université Columbia
Catégorie:Personnalité en informatique théorique Catégorie:Universitaire grec du XXe siècle Catégorie:Universitaire grec du XXIe siècle Catégorie:Lauréat du prix Knuth Catégorie:Lauréat du prix EATCS Catégorie:Naissance à Athènes Catégorie:Naissance en septembre 1953 Catégorie:Étudiant de l'université polytechnique nationale d'Athènes Catégorie:Lauréat du prix de théorie John-von-Neumann Catégorie:Informaticien grec