That's me

Summary

Patrick Bahr, PhD
Assistant Professor, IT University of Copenhagen

Research Areas

Activities

Brief Bio

I am an assistant professor at the IT University of Copenhagen in the Programming, Logic and Semantics Research Group.

I joined the IT University of Copenhagen in 2015 as a postdoc, working with Rasmus M√łgelberg on type theory and guarded recursion. Before that I was a postdoc at the University of Copenhagen from 2012 to 2015. During that time I also worked at the University of Nottingham, and Utrecht University courtesy of a two year individual postdoc grant from The Danish Council for Independent Research for investigating modularity in programming languages. 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.


I'm a
Haskeller