Recent and fortcoming workshops

• Siegener Tag der konstruktiven Analysis (Siegen)
• Workshop on Constructive Aspects of Logic and Mathematics (Kanazawa)
• Constructive Mathematics: Proofs and Computation (Chiemsee)
• Models, Proofs, Constructions (München)
• Third International Workshop on Classical Logic and Computation (Brno)
• First MALOA Training Workshop 2010 (Fischbachau)
• Arbeitstagung Bern-München 2010 (München)

• Workshop "Proof and Computation N+1" (München)
• Münchenwiler Seminar (Münchenwiler)
• Minisymposium on constructive mathematics and logic (Uppsala)
• Logic Colloquium 2011 (Barcelona)

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 anti-Specker property, a Heine–Borel property, and uniform continuity (with Douglas Bridges), Arch. Math. Log. 46, no. 7–8 (2008), 583–592
• 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
• Rearranging Series Constructively (with Douglas Bridges), Journal of Universal Computer Science , vol. 15, no. 17 (2009), 3160 – 3168
• A separation result for varieties of Brouwer's fan theorem, Proceedings of the 10th Asian Logic Conference, World Scientific Pub Co Inc (2010)
• A Constructive Study of Landau's Summability Theorem (with Douglas Bridges), Journal of Universal Computer Science, vol. 16, no. 18 (2010), 2523 – 2534