Martin Berger

Martin Berger is an Associate Professor in Foundations of Computation at the University of Sussex's School of Engineering and Informatics. His research bridges theoretical computer science and practical systems engineering, with focus areas including:

• Formal methods and program verification
• Programming language design and semantics
• Hardware security vulnerabilities and mitigations
• GPU-accelerated computation and program synthesis
• Automated reasoning and logic-based systems

With 51 publications, his recent work demonstrates strong emphasis on:

• Developing high-performance simulation tools (Pydrofoil)
• GPU-based acceleration of formal methods
• Security analysis of programming language ecosystems
• Automated inference systems for regular expressions

He maintains active research collaborations across Europe and welcomes inquiries via his institutional email.