People | Former Members

Master Students

PhD

  • Hanêne Ben Abdallah, 1996
  • Madhukar Anand, 2008, Cisco
  • Selcuk Bavarkar, M.I.T.
  • Mikhail Bernadsky, 2008.
  • Sebastian Burckhardt, 2007, Microsoft Research
  • Patrice Brémond-Grégoire, 1994
  • Pavol Cerney, 2009, Postdoctoral Researcher, Henzinger Group, IST Austria
  • Swarat Chaudhuri, 2007, Assistant Professor, Department of Computer Science and Engineering, Pennsylvania State University.
  • Duncan Clarke, 1996
  • Nikhil Dinesh, Computer Scientist, Artificial Intelligence Center
  • Arvind Easwaran, Polytechnic Institute of Porto, Portugal
  • Georgios Fainekos, NEC Labs
  • Hadas Kress Gazit, Assistant Professor, Cornell University.
  • Franjo Ivancic, 2003, Research scientist, NEC Labs America.
  • Inhye Kang, 1997
  • Moonjoo Kim, 2001, Assistant Professor at KAIST, Korea
  • Robert King, 1991
  • Hee Hwan Kwak, 2000
  • Salvatore La Torre, 2001, Associate Professor, Dept of Computer Science, University of Salerno, Italy
  • Michael May, 2008
  • Michael McDougall, 2005, Grammatech Corp.
  • Wonhong Nam, 2007, Researcher, College of Information Science and Technology, Pennsylvania State University.
  • Usa Sammapun, 2007, Assistant Professor, Bangkok, Thailand
  • Insik Shin, 2006, Assistant Professor , KAIST, Korea
  • Mahesh Viswanathan, 2000, Associate Professor, Department of Computer Science, University of Illinois at
  • Urbana-Champaign
  • Bow-Yaw Wang, 2001, Research scientist, Academia Sinica, Taiwan.
  • Jia Wang, 2004, CEO, Venus Info Tech Inc., Beijing, P.R. China
  • Victor Wolfe
  • Zijiang Yang, 2003, Assistant Professor, Dept of Computer Science, Western Michigan University.
  • Amy Zwarico, 1988

Postdoctoral Fellows

  • Alessandro D'Innocenzo (Assistant Professor at the Department of Electrical and Information Engineering of University of L’Aquila)
  • Sebastian Fischmeister (Assistant Professor, University of Waterloo)
    Antoine Girard, Assistant Professor, Université Joseph Fourier, France.
  • Radu Grosu, Research Associate, 1998--2000.
    Associate Professor, Dept of Computer Science, SUNY Stony Brook.
  • Hyoung Seok Hong (March 2003 – February 2004)
  • Eunkyoung Jee (Research Assistant Professor, KAIST)
  • A. Agung Julius (Assistant Professor, Rensselaer Polytechnic Institute)
  • Aditya Kanade (Assistant Professor, Indian Institute of Science)
  • Jesung Kim (now at Mathworks)
  • T. John Koo (Assistant Professor, Shantou University, China)
  • Na-Young Lee
  • P. Madhusudan, Research Associate, 2001-2004.
    (Assistant Professor, Dept of Computer Science, University of Illinois, Urbana-Champaign)
  • Michael May
  • Supratik Mukhopadhyay, Research Associate, 2001-2002.
    (Assistant Professor, Dept of Computer Science, Utah State University)
  • Anna Philippou (Associate Professor, University of Cyprus)
  • Paulo Tabuada ( Assistant Professor, University of California, Los Angeles)
  • Li Tan (now at Mathworks)
  • Herbert Tanner (Assistant Professor, University of Delaware)
  • Gera Weiss (Assistant Professor, Ben Gurion University, Israel)
  • Michael Zavlanos (Assistant Professor, Stevens Institute of Technology)

Visitors

  • Ali Ahmadzadeh, Quantitative strategist, Constellation Energy, Baltimore, MD.
  • Mohamed Babaali, Developer, physical modeling, The MathWorks.
  • Thao Dang, Research scientist, VERIMAG (CNRS), Grenoble, France.