M
Mihalis Yannakakis
Percy K. and Vida L. W. Hudson Professor of Computer Science
Research Interests
Combinatorial Optimization
Complexity Theory
Database Systems
Testing and Verification
Theoretical Computer Science
Formal Methods in Verification
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Machine Learning and Algorithms
Optimization and Search Problems