Registered user since Tue 6 Jan 2015
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.
My research interests revolve around practical static program analyses and call graph construction algorithms. More on the projects I have been and currently involved in can be found at my research page.
View general profile