I am currently a postdoctoral researcher at Technische Universität Darmstadt, Germany within the Secure Software Engineering (SSE) Group led by Eric Bodden. My current work includes, but is not limited to:
- partial program analysis of framework-based applications (e.g., Android and JEE apps)
- studying compilation strategies and how the affect code analysis
- improving the usability of static analysis tools
- building more precise static analysis techniques to better detect security vulnerabilities
More on the projects I am involved with can be found in my research page.
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.