- Professor
| F2013 - ENGG 407 - Numerical Methods In Engineering | |||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||
| W2014 - SENG 523 - Formal Methods | |||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||
| W2014 - SENG 609.19 - Special Topics in Software Engineering (TheoreticalFoundationsOfSeng) | |||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||
Oxford University (1995),
Stanford University (2008),
UC Berkeley (2008),
MIT (2012)
