News
April 13, 2010
My habilitation thesis on nested sequents is now available from arxiv.org. Comments are welcome! Also, note that the PCC submission deadline is near (May 1st).
Kai Brünnler
I'm a research assistant in the group for
theoretical computer science and logic in Bern
and I work on proof
theory. I'm particularly interested in deep
inference. Here is a picture of me and my contact
information.