I am an associate professor at the IT University of Copenhagen.

My research interests are in developing programming languages and tools that facilitate building high-assurance software. Below is a list of research areas I work in:

Recent Publications & Manuscripts

• Simple Modal Types for Functional Reactive ProgrammingPatrick Bahr.Submitted for peer review, July 2026
• Safety First: How to Safely Disregard Unsafe Behaviour in Compiler CalculationsPatrick Bahr.ICFP 2026, to appear
• Push-Pull Modal Functional Reactive ProgrammingLasse Faurby Klausen, Philip Kristian Møller Flyvholm and Patrick Bahr.TFP 2026, to appear
• Asynchronous Modal FRP: Ticking All the BoxesPatrick Bahr and Rasmus Ejlers Møgelberg.Submitted for peer review, March 2026
• Sound-By-Construction Type SystemsPatrick Bahr, Zac Garby and Graham Hutton.Preprint, February 2026

All publications

Brief Bio

I have been an associate professor at the IT University of Copenhagen since 2019 and served as head of the MSc in Software Design from 2020 to 2025. Before joining the IT University in 2015, I was a postdoc at the University of Copenhagen, with visiting research positions at the University of Nottingham and Utrecht University.

I received a PhD in computer science from the University of Copenhagen in 2012, an MSc in computational logic jointly from the Dresden University of Technology and the Vienna University of Technology in 2009, and a BSc in computer science from the Dresden University of Technology in 2008.

Detailed bio

Service