|
Former graduate students
-
Qiyi Tang. Computing Probabilistic Bisimilarity Distances. PhD dissertation. August 2018. (Postdoc, Imperial College, London, UK).
-
Andrey Ryzhov. Using Jalangi for Automatic Error Detection on JavaScript Games. MSc thesis.
September 2014.
-
Nastaran Shafiei. Model Checking of Distributed Multithreaded Java Applications. PhD dissertation. April 2014.
(Computer scientist, NASA Ames Research Center, Moffett Field, CA, USA).
-
Qiyi Tang. Guiding Probabilistic Model Checkers by Reinforcement Learning. MSc thesis. September 2013.
-
Xiwen Chen. Formal Verification of a Concurrent Binary Search Tree. MSc thesis. May 2013.
-
Elise Cormie-Bowins. Measuring Progress of Probabilistic LTL Model Checking. MSc thesis, June 2012.
(Software developer, Street Contxt, Toronto).
-
Joanna Helga. Analysis of Amortized Time Complexity of Concurrent Binary Search Tree. MSc project report. January 2012.
(Lecturer, Parahyangan University, Indonesia).
-
Xin Zhang.
Measuring Progress of Model Checking Randomized Algorithms.
MSc thesis.
July 2010.
(Software engineer, TPA, Toronto).
-
Babita Sharma.
An Algorithm to Quantify Behavioural Similarity between Probabilistic Systems.
MSc thesis.
December 2006.
(Senior Cloud and Application Security Architect, IBM, Toronto).
-
Kien Huynh.
Analysis through Reflection: walking the EMF model of BPEL4WS.
MSc thesis.
September 2005.
(Software Development Team Lead, Ethoca, Thornhill).
-
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 developer, IBM, Toronto).
-
Laura Apostoloiu.
Corretto: a CUP of Java with Grappa. A Tool for Parser Generation.
MSc project report,
November 2002.
(Program director, Development, IBM Commerce, IBM, Toronto).
|
|