Assistant Professor, Software Engineering
Maersk McKinney Moller Institute
University of Southern Denmark (Odense)
My research focuses on developing scalable program analysis techniques for complex software systems. Modern software increasingly spans multiple programming languages and runtimes; however, most existing analysis tools reason about individual languages in isolation. This disconnect significantly limits our ability to ensure security, correctness, and reliability in real-world systems.
Alongside my academic work, I have designed and built industrial-strength analysis systems at OpenText, where I developed static analysis tools for large, security-critical codebases. This experience ensures that my research is firmly grounded in deployable solutions and real-world engineering constraints.
E-mail: xy@mmmi.sdu.dk where x is the first two characters of first name and y is the first character of last name.
📰 updates
- Jan 2026 - I am on ICST'26 program committee.
- Jan 2026 - Starting as Assistant Professor at University of Southern Denmark
- Dec 2026 - Confluence is selected for presentation at SANER'2026.
- Dec 2026 - Towards Analyzing N-language Polyglot Programs accepted in ERA track of SANER'2026
- Oct 2024 – Defended my PhD thesis
- Oct 2024 – On TACAS'24 AEC
- Jun 2024 – On ISSTA'24 AEC
- Jun 2024 – Paper on Android IFC repair accepted in FM'24