Michael Emmi / CV / CV (fr)

Maybe a picture


Michael (or Mike) is an American-born computer scientist living in France. He currently holds a post-doctoral researcher position in the Modélisation et vérification group of LIAFA, a laboratory of Université Paris Diderot (Paris 7). 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. 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. Besides being the/a principal author of many noteworthy scientific publications (see the Publications list below), Michael is the lead developer of several software verification tools (see the Software list below).

Professional Activities




Université Paris Diderot
Case 7014
75205 Paris Cedex 13

E / michael.emmi@gmail.com
T / +33 (0) 6 88 17 65 39 (France)
T / +1 (310) 564-6453 (USA)

this page was written in markdown