Patrick Bahr is an associate 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, the University of Nottingham and Utrecht University. 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 2019||Associate Professor at IT University of Copenhagen|
|2016 - 2019||Assistant Professor at IT University of Copenhagen|
|2015 - 2016||Postdoctoral Researcher at IT University of Copenhagen|
|2012 - 2015||Postdoctoral Researcher at Department of Computer Science, University of Copenhagen|
|2014||Visiting Researcher at the Center for Software Technology, Utrecht University|
|2013||Visiting Researcher at the Functional Programming Lab, University of Nottingham|
|2012||Visiting Researcher at the Department of Philosophy at Utrecht University|
|2008||Visiting Researcher at NICTA Sydney|
|2009 - 2012||PhD in Computer Science at the University of Copenhagen|
|2008 - 2009||MSc in Computational Logic at Vienna University of Technology|
|2007 - 2009||MSc in Computational Logic at Dresden University of Technology|
|2004 - 2008||BSc in Computer Science at Dresden University of Technology|