Skip to search box Skip to navigation Skip to main content

IT University of Copenhagen
/
Researchers

Patrick Bahr

Patrick Bahr

Associate Professor, Theoretical Computer Science
Programming Logic and Semantics

Research

Type Systems
Rewriting
Compilers
Domain-specific Languages
Formal Verification
Recursion Schemes

Personal website

All content on this site: Copyright © 2026 IT University of Copenhagen, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply.

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

IT-University of Copenhagen Data Protection Policy, opens in new tab
Contact us

Web accessibility statement
Report vulnerability, opens in new tab