Jyoti Prakash

Assistant Professor@SDU Software Engineering
The Maersk McKinney Moller Institute
University of Southern Denmark, Odense

I am a researcher in software analysis, with a core interest in cross-language program analysis. Modern software increasingly spans multiple programming languages and runtimes, yet most existing analysis tools reason about individual languages in isolation. My work develops scalable static and dynamic analysis techniques — grounded in formal foundations — that reason across these language boundaries to detect security vulnerabilities, enforce correctness properties, and improve the reliability of complex, real-world software 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.

Research Interests

• Cross-Language Program Analysis
• Program Analysis
• Program Repair

📰 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