Bjørn Bugge Grathwohl

Niels Bjørn Bugge Grathwohl

I'm Niels Bjørn Bugge Grathwohl, a PhD student postdoc at the Department of Computer Science at the University of Copenhagen (DIKU). I am affiliated with the project "Kleene Meets Church" (KMC) together with Ulrik Terp Rasmussen and Fritz Henglein. For most of 2013 I've been at Cornell University, working with Dexter Kozen.

Beginning September 1st 2015, I will be working jointly as a postdoc at DIKU and as a "software specialist" at the Alexandra Institute branch at DIKU.

On November 4th 2015 I succesfully defended my PhD thesis! I was lucky to have an excellent thesis committee consisting of Alexandra Silva, Nate Foster, and Andrzej Filinski.

My CV can be found here.

Contact

Niels Bjørn Bugge Grathwohl
Department of Computer Science (DIKU)
University of Copenhagen
Universitetsparken 5
2100 København Ø, Denmark
 bugge (at) diku (dot) dk
 bjorn (dot) bugge (at) alexandra (dot) dk
 nb (dot) buggegrathwohl (at) gmail (dot) com

Teaching

Publications

2016

2015

2014

2013

2011