Karim Ali

Registered user since Tue 6 Jan 2015

Name: Karim Ali

Bio: 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 when 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 and currently involved in can be found at my research page.

Country: Egypt

Affiliation: Technical University at Darmstadt, Germany

Personal website: http://karimali.pl

Research interests: compilers, static analysis, call graph construction

PLDI 2015 Activities

PLDI 2015-profile
View general profile