-Object-oriented specification
-Design-by-Contract
-JML
-Formal specification of cooperative object relationships
-Object-oriented concurrency
HBSc Computer Science with Software Engineering Specialization, University of Western Ontario (2005)
Research Assistant, York University, Toronto, Canada (2005)
