Former Group Members

• Jyotirmoy Deshmukh, Research Associate (as Computing Innovation Fellow), 2010-2012.
  Toyota Technical Center.
• Pavol Cerny, PhD Summer 2009.
  Thesis: Software model checking for confidentiality
  Assistant Professor, Dept of Electrical, Computer, and Energy Engineering, University of Colorado, Boulder.
• Gera Weiss, Research Associate, 2006-2009.
  Assistant Professor, Dept of Computer Science, Ben Gurion University, Israel.
• Aditya Kanade, Research Associate, 2007-2009.
  Assistant Professor, Dept of Computer Science and Automation, Indian Institute of Science, Bangalore.
• Mikhail Bernadsky, PhD Spring 2008.
  Thesis: Symbolic analysis of stochastic discrete event systems
  Microsoft.
• Swarat Chaudhuri, PhD Summer 2007.
  Thesis: Logics and algorithms for software analysis
  Assistant Professor, 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
  Assistant Professor, Konkuk University, Korea.
• Michael McDougall, PhD Spring 2005 (co-advised with Carl Gunter).
  Thesis: Modeling and analyzing integrated policies pdf
  Grammatech Corp.
• P. Madhusudan, Research Associate, 2001-2004.
  Associate Professor, Dept of Computer Science, University of Illinois, Urbana-Champaign.
• Franjo Ivancic, PhD, Fall 2003.
  Thesis: Modeling and Analysis of Hybrid Systems, Abstract
  Research scientist, NEC Labs America.
• Zijiang Yang, PhD, Fall 2003.
  Thesis: Techniques for Reducing the Computational Requirements of Symbolic Reachability Analysis, Abstract
  Associate Professor, Dept of Computer Science, Western Michigan University.
• Supratik Mukhopadhyay, Research Associate, 2001-02.
  Assistant Professor, Dept of Computer Science, Louisiana State University.
• Thao Dang, Research Associate, 2000-2001.
  Research scientist, CNRS, Grenoble, France.
  
• Bow-Yaw Wang, PhD, Summer 2001.
  Thesis: Hierarchical Reduction and Refinement Checking for Asynchronous Processes, Abstract
  Associate Research Fellow, Academia Sinica, Taiwan.
• Salvatore La Torre, PhD, Summer 2001.
  Thesis: Verification of Reactive Systems and Decision Problems in Temporal Logic, Abstract
  Associate Professor, Dept of Computer Science, University of Salerno, Italy
• Radu Grosu, Research Associate, 1998--2000.
  Professor, Faculty of Informatics, TU Vienna, Austria.
• George Pappas, Research Associate, 1999--2000.
  Professor, 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).