Former Group Members

• Abhishek Udupa, PhD, Spring 2016.
  Microsoft.
• Loris D'Antoni, PhD, Summer 2015.
  Thesis: Programming using Automata and Transducers
  Dept of Computer Science, University of Wisconsin at Madison.
• Christos Stergiou ExCAPE Postdoctoral Researcher, 2013-15.
  Google.
• Sela Mador-Haim, ABD.
  Coverity.
• Ashutosh Trivedi, Research associate, 2010-12.
  Dept. of Computer Science and Engineering, Indian Institute of Technology, Bombay.
• Jyotirmoy Deshmukh, Research Associate (as Computing Innovation Fellow), 2010-2012.
  Toyota Technical Center.
• Pavol Cerny, PhD Summer 2009.
  Thesis: Software model checking for confidentiality
  Dept of Electrical, Computer, and Energy Engineering, University of Colorado, Boulder.
• Gera Weiss, Research Associate, 2006-2009.
  Dept of Computer Science, Ben Gurion University, Israel.
• Aditya Kanade, Research Associate, 2007-2009.
  Dept of Computer Science and Automation, Indian Institute of Science, Bangalore.
• Mikhail Bernadsky, PhD Spring 2008.
  Thesis: Symbolic analysis of stochastic discrete event systems
  Cox Digital Solutions
• Swarat Chaudhuri, PhD Summer 2007.
  Thesis: Logics and algorithms for software analysis
  Department of Computer Science, Rice University.
• Sebastian Burckhardt, PhD Summer 2007 (co-advised with Milo Martin).
  Thesis: Memory model sensitive analysis of concurrent data types pdf
  Microsoft Research, Redmond.
• Wonhong Nam, PhD Spring 2007.
  Thesis: Synthesis and compositional verification using language learning
  Konkuk University, Korea.
• Michael McDougall, PhD Spring 2005 (co-advised with Carl Gunter).
  Thesis: Modeling and analyzing integrated policies pdf
  Grammatech Corp.
• Madhusudan Parthasarathy, Research Associate, 2001-2004.
  Dept of Computer Science, University of Illinois, Urbana-Champaign.
• Franjo Ivancic, PhD, Fall 2003.
  Thesis: Modeling and Analysis of Hybrid Systems, Abstract
  Google.
• Zijiang Yang, PhD, Fall 2003.
  Thesis: Techniques for Reducing the Computational Requirements of Symbolic Reachability Analysis, Abstract
  Dept of Computer Science, Western Michigan University.
• Supratik Mukhopadhyay, Research Associate, 2001-02.
  Dept of Computer Science, Louisiana State University.
• Thao Dang, Research Associate, 2000-2001.
  CNRS, Grenoble, France.
  
• Bow-Yaw Wang, PhD, Summer 2001.
  Thesis: Hierarchical Reduction and Refinement Checking for Asynchronous Processes, Abstract
  Academia Sinica, Taiwan.
• Salvatore La Torre, PhD, Summer 2001.
  Thesis: Verification of Reactive Systems and Decision Problems in Temporal Logic, Abstract
  Dept of Computer Science, University of Salerno, Italy
• Radu Grosu, Research Associate, 1998--2000.
  Faculty of Informatics, TU Vienna, Austria.
• George Pappas, Research Associate, 1999--2000.
  Dept of Electrical and Systems Engineering, University of Pennsylvania.
• Master's Stduents:
  Himyanshu Anand (MS, 2000), Arnabnil Bhattacharjee (MS, 1999), Arun Chandrashekharapuram (MS, 2005), Gunjan Gupta (MS, 2004), Minsu Kang (MS, 2001), Jason Simas (MS, 2004).