IMDEA Software

IMDEA initiative

Home > People > Michael Emmi

Michael Emmi

The information in this page may be outdated, as Michael Emmi is currently not a member of the Institute.

Michael Emmi
PhD - University of California at Los Angeles, USA
Former Faculty Researcher

Home Page:

Short bio

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.

Research Interests

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, such systems.