My research interests include design and analysis of algorithms, complexity theory, combinatorial optimization, game theory, databases, and modelling, verification and testing of reactive systems.
Awards/Distinctions: American Academy of Arts and Sciences, 2020 EATCS Award, 2020 Honorary PhD, University of Athens, 2019 National Academy of Sciences, 2018 Academia Europaea, 2013 National Academy of Engineering, 2011 Knuth Prize, 2005 Fellow, Association for Computing Machinery (ACM), 1998 Fellow, Bell Laboratories, 1997 ISI Highly Cited Researcher, 2002 Bell Labs President's Gold Award, 2000 Bell Labs Distinguished Member of Technical Staff Award, 1985