I am currently an Assistant Professor in the Department of Computing Science at the University of Alberta. Priori to that, I spent 1.5 years as a postdoctoral researcher at Technische Universität Darmstadt, Germany within the Secure Software Engineering (SSE) Group led by Eric Bodden.
Just before moving to Germany, I finished my Ph.D. studies under the supervision of Ondřej Lhoták in the Programming Languages Group at the University of Waterloo. You can find my thesis: The Separate Compilation Assumption here.
Prior to that, I received my MMath degree at the University of Waterloo in 2010 when I was part of the Security Research Group led by Raouf Boutaba.
You can find my more detailed CV here.