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.