Workshops and meetings

• Arbeitstagung Bern-München 2008
• Miniworkshop on Logic, Constructive Mathematics, and Reverse Mathematics

Teaching

• Lecture: Constructive reverse mathematics, winter semester 08/09
• Tutorial: Mathematik III für Physiker
• Seminar: Proof theory (with Prof. Schwichtenberg)

Research networks

• Marie Curie International Research Staff Exchange Scheme

Selected publications

• Brouwer's fan theorem and unique existence in constructive analysis (with Hajime Ishihara), Math. Log. Quart. 51, no. 4 (2005), 360–364
• The fan theorem and unique existence of maxima (with Douglas Bridges and Peter Schuster), J. Symbolic Logic 71, iss. 2 (2006), 713–720
• The weak König lemma and uniform continuity, J. Symbolic Logic 73, iss. 3 (2008), 933–939
• A decomposition of Brouwer's fan theorem, Journal of Logic and Analysis 1 (2009), 1–8,  DOI: 10.4115/jla.2009.1.6