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.