Jyoti Prakash

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

I am a researcher and educator in software analysis, with a core interest in analysis of heterogenous and open-ended systems. Modern software systems spans multiple programming languages and runtime, yet most existing analysis reason about individual languages. My work develops static and dynamic analysis techniques that improve the reliability of complex real-world software systems.

I have also designed and built industrial-strength analyses, at OpenText, where I contributed to Fortify which is a 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

• Sep 2026 - JetTyped accepted at ISSRE'26
• Sep 2026 - Sentry accepted at SECUTE@ASE 2026