Patrick Bahr is an assistant professor at the IT University of Copenhagen in the Programming, Logic and Semantics Research Group. His research is focused on Type Systems and Compilers with an emphasis on Formal Verification and the development of Domain-specific Languages.
Before joining the IT University of Copenhagen in 2015, Patrick was a postdoc at the University of Copenhagen from 2012 to 2015. During that time he 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. Patrick 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.
|Since August 2016||Assistant Professor at IT University of Copenhagen.|
|August 2015 - July 2016||Postdoctoral researcher at IT University of Copenhagen.|
|November 2012 - July 2015||Postdoctoral researcher at Department of Computer Science, University of Copenhagen.|
|January 2014 - June 2014||Visiting Researcher at the Center for Software Technology, Utrecht University.|
|May 2013 - November 2013||Visiting Researcher at the Functional Programming Lab, University of Nottingham.|
|November 2009 - October 2012||PhD fellow at the Department of Computer Science, University of Copenhagen.|
|February 2012 - April 2012||Visiting researcher at the Department of Philosophy at Utrecht University.|
|November 2008 - October 2009||Graduate student in the master programme Computational Logic at Vienna University of Technology.|
|August 2008 - November 2009||Visiting researcher at NICTA Sydney.|
|October 2007 - August 2008||Graduate student in the master programme Computational Logic at Dresden University of Technology.|
|October 2004 - January 2008||Undergraduate student in Computer Science at Dresden University of Technology|