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.