My personal webpage has moved to karimali.ca. You'll find more up to date information there.
Since October 2014, I have started a new step in my career as a postdoctoral researcher at Technische Universität Darmstadt, Germany. I am working
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 where I was part of the Security Research Group team led by Raouf Boutaba.
My research interests revolve around practical static program analyses and call graph construction algorithms.
More on the projects I have been involved with can be found at my projects page.