Patrick Bahr IT University of Copenhagen

Headshot of Patrick Bahr

I am an associate professor at the IT University of Copenhagen and head of the Software Design MSc programme.

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

All publications

Brief Bio

Before joining the IT University of Copenhagen 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 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