PhD - University of California at Los Angeles, USA
The information in this page may be outdated, as Michael Emmi is no longer a member of the Institute.
Michael (or Mike) is an American-born computer scientist living in Madrid. He
currently holds a faculty researcher position at the IMDEA Software Institute.
In 2010 he was awarded a Ph.D. from the Department of Computer Science at the
University of California, Los Angeles (UCLA) under the advising of Dr. Rupak
Majumdar, and from 2010 to 2012 he was a postdoctoral fellow of the Fondation
Sciences Mathématiques de Paris, hosted by LIAFA, a laboratory of Université
Paris Diderot (Paris 7). He has been a teaching assistant for undergraduate
courses at UCLA and Université Paris Diderot, and has held internships at
Microsoft Research, NASA Ames Research Center, and IBM.
Michael's research is focused on developing techniques based on formal
reasoning to foster the construction of reliable software systems.
Specifically, Michael has developed formal models to support the analysis of
reactive, parallel, and distributed software systems, studied their theoretical
properties (i.e., decidability, complexity), and developed exploration
techniques to quickly discover faulty behavior in, or prove correctness of,