Mihalis Yannakakis is professor of computer science at Columbia University.
16 Facts About Mihalis Yannakakis
Mihalis Yannakakis is noted for his work in computational complexity, databases, and other related fields.
Mihalis Yannakakis won the Donald E Knuth Prize in 2005.
Mihalis Yannakakis graduated from the National Technical University of Athens in 1975 with a diploma in Electrical Engineering, and then earned his PhD in Computer Science from Princeton University in 1979.
Mihalis Yannakakis's dissertation was entitled "The Complexity of Maximum Subgraph Problems".
From 1992 to 2003, Mihalis Yannakakis served on the editorial board of the SIAM Journal on Computing and was the editor-in-chief between 1998 and 2003.
Mihalis Yannakakis was a member of the editorial board of the Journal of the ACM from 1986 to 2000.
Mihalis Yannakakis is known for his contributions to computer science in the areas of computational complexity theory, database theory, computer aided verification and testing, and algorithmic graph theory.
Mihalis Yannakakis went on to show that for the natural class of safe locking policies, freedom from deadlocks is determined solely on the order in which entities are accessed by transactions, and from this derived simple conditions that would guarantee freedom from deadlocks for an L-policy.
Mihalis Yannakakis has contributed to the area of computer aided verification and testing, where he laid the rigorous algorithmic and complexity-theoretic foundations of the field.
Mihalis Yannakakis has contributed to research on Message Sequence Charts, where it was shown that weak realizability is undecidable for bounded MSC-graphs and that safe-realizability is in EXPSPACE, along with other interesting results related to the verification of MSC-graphs.
Mihalis Yannakakis is a member of both the National Academy of Engineering and the National Academy of Sciences.
Mihalis Yannakakis was awarded the seventh Knuth prize for his contributions to theoretical computer science.
Mihalis Yannakakis has been awarded the Bell Labs Distinguished Member of Technical Staff Award and the Bell Labs President's Gold Award, in 1985 and in 2000 respectively.
Mihalis Yannakakis is a Fellow of the ACM and a Fellow of Bell Laboratories.
Mihalis Yannakakis was elected fellow of the American Academy of Arts and Sciences in 2020.