Former Group Members
PhD Spring 2009, joined Stony Brook University, NY, as a Research
Thesis: A Formal Framework for Modeling, Simulating and Analyzing
Networks of Excitable Cells.
PhD Spring 2009, joined University of Camerino, Italy, as a Research
Thesis: Online Public Service Delivery for Small and Medium sized Organizations.
PhD Summer 2008, joined Electro-Optical Sciences, Inc., Irvington, NY.
Thesis: Modeling Excitable Cells Using Hybrid Automata.
PhD Summer 2004, joined Reuters Inc., New York City, NY.
Thesis: Automatic Verification and Synthesis of Web Service-based Workflows.
PhD Summer 2002, joined CS Faculty at Wayne State University, Detroit, MI.
Thesis: Semantic Correctness of Transactions and Workflows.
Mike True and Wenkai Tan switched to industry and Chris Tartamella switched research topic.
Ganesh Prabhu, Sebyashi Pradhan, Densel Santhmayor, Mike True, Wai Chong,
Puloma Mukherjee, Krishnakumar N. Nair, Khushru
K. Bamji, Harshad Kamat, Delia Paval (joined
Reuters Inc.), Jaspreet Singh, Vaishali
R. Wani, Qinghua Zhang, Jing Zhang, Divyanghi Anchan, Jyoti Wagholikar,
Haibo Hu, Xie Wen, Yingrou
Chen, Zhiping Qiu,
Christian Stieber, Tobias Mayr,
Stephan Breutel, Andrea Krause.
Updated 9/21/10 by Radu Grosu