|
Former graduate students
-
Xin Zhang.
Measuring Progress of Model Checking Randomized Algorithms.
MSc thesis.
July 2010.
(Software engineer, MI9, Toronto).
-
Babita Sharma.
An Algorithm to Quantify Behavioural Similarity between Probabilistic Systems.
MSc thesis.
December 2006.
(Software engineer, IBM, Toronto).
-
Kien Huynh.
Analysis through Reflection: walking the EMF model of BPEL4WS.
MSc thesis.
September 2005.
(Software engineer, IBM, Toronto).
-
Vladimir Blagojevic.
A Simulator for Peer-to-Peer Overlay Algorithms.
MSc thesis.
June 2004.
(Senior software developer, Red Hat, Toronto).
-
Darius Antia.
Semantic Analysis of Pict in Java.
MSc thesis,
February 2004.
(Chief technology officer, Netfirms, Toronto).
-
Mariya Koshkina.
Verification of Business Processes for Web Services.
MSc thesis,
October 2003.
(Software engineer, IBM, Toronto).
-
Laura Apostoloiu.
Corretto: a CUP of Java with Grappa. A Tool for Parser Generation.
MSc project report,
November 2002.
(Manager, IBM, Toronto).
|
|
