News
February 23, 2011
Talks page updated. Oh, and I have a new job.
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
Current position: Research assistent, Group for theoretical computer science and logic, University of Bern.
Research interests: proof theory, deep inference, lambda calculus and types, functional programming, logic programming, modal and temporal logics, automated reasoning.