| Karin Avnit
| PhD 2010, thesis
Provably correct
on-chip communication: a formal approach to automatic synthesis
of SoC protocol converters to component-based development of embedded systems
|
| Timothy Bourke |
PhD 2010, thesis Modelling and Programming Embedded Controllers with Timed Automata and Synchronous Languages
|
| Xiongcai Cai
| PhD 2008, thesis Learning Level Sets and Level Learning Sets: Innovations in Variational Methods for Data Partitioning
|
| Pemadeep Ramsokul
| PhD 2008, thesis Modelling and verification of web services protocols
|
| Neil Yager
| PhD 2007, thesis Hierarchical Fingerprint Verification (won Malcolm Chaikin Award for best PhD thesis in Faculty of Engineering for 2007)
|
| M. Prasad
| PhD 2006, thesis Incremental Classification of HRCT findings in diffuse lung diseases
|
| Partha
Roop | PhD 2000, thesis Forced Simulation: a formal approach to component-based development of embedded systems
|
| Mark
Peters | PhD 1999, thesis Making Sense: autonomy and adaptation in visual robotics
|
| Maziar Palhang
| PhD 1998, thesis Learning object models: an inductive logic programming
|