Graduate Students

Current Students

Faraz Torshizi
Hai Feng Huang
David Makalsky

Past Students

  1. Ali Taleghani. Contractual Consistency between BON Static and Dynamic Diagrams. (slides) July 30th, 2004. Currently doing a Ph.D at University of Waterloo.
  2. Yan Gao. Multi-view Consistency Checking of BON Software Description Diagrams. (slides). July 19, 2004.
  3. Oleksandr Fuks. Simple Concurrent Object Oriented Computing. (slides) M.Sc. Thesis. July 15, 2004. Currently working in IT for the City of Toronto.
  4. Lewis K.F. Lo. Modular Design for Reactive Systems. M.Sc. Thesis. 1998.
  5. Hak K. Ng. Model Checking for Real-Time Safety Critical Systems. M.Sc Thesis. 1998.