Patrick Bahr is an associate professor at the IT University of Copenhagen in the Programming, Logic and Semantics Research Group. His research focuses on type systems and compilers, with an emphasis on formal verification and functional programming.
Before joining the IT University of Copenhagen in 2015, he was a postdoc at the University of Copenhagen, the University of Nottingham, and Utrecht University.
He received a PhD in computer science from the University of Copenhagen in 2012, and an MSc in computational logic jointly from the Dresden University of Technology and the Vienna University of Technology in 2009. He holds a BSc in computer science from the Dresden University of Technology, awarded in 2008.