The information in this page may be outdated, as Michael Emmi is currently not 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, such systems.
