Patrick Bahr Associate Professor, IT University of Copenhagen

That's me

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:

Click on a research area to view a list of my publications in that area.

Recent Publications & Manuscripts

List of all my 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

Activities