Michael received his doctorate in Computer Science from UCLA in 2010 and joined SRI International in 2017, following a postdoc fellowship at the Paris 7 awarded by La Fondation Sciences Mathématiques de Paris (FSMP), and faculty researcher positions at the IMDEA Software Institute and Nokia Bell Labs. Prior to all that, Michael completed his undergraduate studies at Binghamton University (SUNY). He has been a teaching assistant for undergraduate courses at UCLA and Paris 7, and has held internships at Microsoft Research, NASA Ames Research Center, and IBM.
Michael’s research enables the construction of reliable software by developing the foundations for effective programming abstractions and informative program analysis tools. Integrating technological trends with knowledge from several research communities spanning automata theory, programming languages, and distributed systems, his contributions include establishing the theoretical limits of program analysis, devising tractable approximations for intractable analysis problems, and building effective analysis tools.
José Bacelar Almeida (Universidade do Minho) Mohamed Faouzi Atig (Uppsala University) Manuel Barbosa (University of Porto) Gilles Barthe (IMDEA Software) Ahmed Bouajjani (Paris 7) Montgomery Carter (University of Utah) Juan Chen (MSR) Derrick Coetzee (MSR) Jeremy Condit (MSR) François Dupressoir (IMDEA Software) Constantin Enea (Paris 7) Petros Faloutsos (UCLA) Jeffrey S. Fischer (UCLA) Pierre Ganty (IMDEA Software) Dimitra Giannakopoulou (NASA Ames) Jad Hamza (Paris 7) Arvind Haran (University of Utah) Chris Hawblitzel (MSR) Shaobo He (University of Utah) Ranjit Jhala (UCSD) Eddie Kohler (Harvard) Akash Lal (MSR) Rupak Majumdar (MPI-SWS) Roman Manevich (UCLA) Kedar Namjoshi (Nokia Bell Labs) Burcu Kulahcioglu Ozkan (Koç University) Gennaro Parlato (Paris 7) Corina S. Pasareanu (NASA Ames) Frances Perry (Princeton University) Polyvios Pratikaki (University of Maryland) Shaz Qadeer (MSR) Zvonimir Rakamaric (University of Utah) Fernando Rosa-Velardo (Universidad Complutense de Madrid) Koushik Sen (University of California, Berkeley) Serdar Tasiran (Koç University) Alice Wang (UCLA) Jonathan Whitaker (University of Utah)