Former Group Members

PhD Students

• Shiyong Lu.
  PhD Summer 2002, joined CS Faculty at Wayne State University.
  Thesis: Semantic Correctness of Transactions and Workflows.
• Ziyang Duan.
  Co-Adviser, PhD Summer 2004, joined Reuters Inc.
  Thesis: Automatic Verification and Synthesis of Web Service-based Workflows.

Master Students

· 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 7/1/05 by Radu Grosu