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.

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

- Teacher in
*Logic in computer science*, fall 2015. - Co-supervisor of numerous Bachelor's theses and one Master's thesis, 2014-2015.
- Teacher in
*Logic in computer science*, fall 2014. - Teaching assistant in
*Philosophy of computer science*, fall 2014. - Teaching assistant in
*Linear algebra*, fall 2012.

### Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers

Grathwohl, Bjørn Bugge and Henglein, Fritz and Rasmussen, Ulrik Terp and Søholm, Kristoffer Aalund and Tørholm, Sebastian Paaske

*Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, p. 284–297*— 2016

### Parsing with Regular Expressions & Extensions to Kleene Algebra

Niels Bjørn Bugge Grathwohl

*PhD thesis, DIKU, University of Copenhagen*— 2015### Kleene Meets Church: Regular Expressions as Types

Niels Bjørn Bugge Grathwohl, Ulrik Terp Rasmussen, and Fritz Henglein

*Poster presented at POPL 2015*— 2015

### Optimally Streaming Greedy Regular Expression Parsing

Niels Bjørn Bugge Grathwohl, Fritz Henglein, and Ulrik Terp Rasmussen

*Theoretical Aspects of Computing – ICTAC 2014, p. 224-240*— September 2014### KAT + B!

Niels Bjørn Bugge Grathwohl, Dexter Kozen, and Konstantinos Mamouras

*Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), p. 44:1–44:10*— 2014

### Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Niels Bjørn Bugge Grathwohl, Fritz Henglein, and Dexter Kozen

*Proc. 9th Workshop Fixed Points in Computer Science (FICS 2013), p. 44–55*— September 2013### Two-Pass Greedy Regular Expression Parsing

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, and Ulrik Terp Rasmussen

*Proceedings 18th International Conference on Implementation and Application of Automata (CIAA), p. 60–71*— July 2013

### The Biological Plausibility of the Blob Model

Niels Bjørn Bugge Grathwohl

*Master’s Thesis, University of Copenhagen*— October 2011### Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus.

Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, and Jakob Grue Simonsen

*Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, p. 61–70*— 2011