Sotabase

Career

· Certificate in University Teaching (CUT), University of Waterloo2008–2010
· Course Instructor/Sessional, University of Waterloo2006–2011
· PhD in Computer Science, University of Waterloo2006–2013
· Course Instructor/Sessional, McGill University2005–2006
· MS in Computer Science, McGill University2003–2006
· Research Assistant, McGill University2003–2006
· Teaching Assistant, McGill University2003–2006
· Teaching Assistant, University of Waterloo2003–2010
· Design Engineer, Biotechnology Research Institute (BRI), National Research Council2001–2002
· B.Sc. (Honors) in Computer Science, McGill University2000–2003
· B.E. (First two years), G.I.K. Institute of Engineering Sciences and Technology1998–2000
· Assistant Professor, University of Waterloo
· Associate Professor, University of Waterloo

Publications (26)

82
cited
International Conference on Compiler Construction · 2010
65
cited
IEEE International Conference on Program Comprehension · 2006
26
cited
IEEE International Conference on Program Comprehension · 2007
25
cited
International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing · 2009
18
cited
International Database Engineering and Applications Symposium · 2005
15
cited
Extending Typestate Analysis to Multiple Interacting Objects
2008
12
cited
International Conference on Compiler Construction · 2011
11
cited
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2008
4
cited
Exp-DB: Fast Development of Information Systems for Experiment Tracking
CAiSE Short Paper Proceedings · 2003
2
cited
An Efficient Storeless Heap Abstraction Using SSA Form ∗
2008
Verification of temporal properties involving multiple interacting objects
2013
Sotabase