CV

Personal Data

Born 17th of March 1982 in Bayreuth, Germany; Nationality German. Married to a New Zealand citizen, two children. Fluent in both English and German, basic knowledge of Spanish and Japanese.

Career

  • University of Canterbury
  • Christchurch, New Zealand
  • Senior Lecturer/Lecturer
  • May 2014—today
  • Universität Siegen
  • Siegen, Germany
  • Vertretungsprofessur (substitute professor)
  • Oct 2011—Apr 2014
  • Florida Atlantic University
  • Boca Raton, USA
  • Visiting Assistant Research Professor
  • Jan 2011—May 2011
  • Universität Siegen
  • Siegen, Germany
  • Wissenschaftlicher Mitarbeiter (academic staff)
  • May 2009—Oct 2011
  • University of Canterbury
  • Christchurch, New Zealand
  • Lecturer / Research assistant
  • Oct 2008—Apr 2009

    • Studies in mathematics

  • Universität Siegen,
  • Siegen, Germany
  • Habilitation
  • —Feb 2018
  • University of Canterbury
  • Christchurch, New Zealand
  • PhD in Mathematics
  • May 2005—Oct 2008
  • Financial support through a "Canterbury Scholarship".
  • University of Canterbury
  • Christchurch, New Zealand
  • Postgraduate Certificate of Proficiency
  • Feb 2004—Nov 2004
  • GPA: 8.6 (possible maximum 9.0)
  • Ludwig-Maximilians-Universität
  • Munich, Germany
  • Vordiplom
  • Oct 2001—Feb 2004
  • Intermediate exams after 2 years, Grade "Very Good"

    • Schooling

  • Graf Münster Gymnasium
  • Bayreuth, Germany
  • Abitur (Baccalaureate)
  • Jul 1988—Jun 2001
  • Grade: “Very Good” (1.3)

    • Academic Honours

  • Sep 2019: Invited Speaker "Continuity, Computability, Constructivity: From Logic to Algorithms", Ljubljana, Slovenia.
  • Jul 2019: Invited Speaker "16th Conference on Computability and Complexity in Analysis", Zagreb, Croatia.
  • 2018: Invitation as a tutorial speaker in the autumn school "Proof and Computation" 16. - 22. September 2018 at Aurachhof in Fischbachau near Munich. Supported by the Udo Keller Stiftung. Unfortunately, I had to decline this invitation due to time constraints.
  • Oct, Nov 2011, Aug 2013, Oct 2015, Sep 2018: Invitations to participate in seminars at the "Mathematisches Forschungsinstitut Oberwolfach" and at "Schloss Dagstuhl"
  • Jul 2013: Invited speaker at the Logic Colloquium 2013 in Évora, Portugal.
  • Nov 2007: New Zealand Institute of Mathematics and its Applications Best Presentation Award
  • Jul 2005--Jun 2008: "Canterbury Scholarship", University of Canterbury (Doctoral Scholarship awarded to the top 10 applicants)
  • Nov 2004--Feb 2005: Summer Studentship (research grant), University of Canterbury

    • Professional Services

    • Member of the program committee for the 15th Conference on Computability and Complexity in Analysis, Lake Kochel, Germany, Germany, August 2018.
    • One of the organiser of the 2016 BIRS ("Banff") workshop 16w5099 "Interval Analysis and Constructive Mathematics", in Oaxaca, Mexico.
    • Member of the program committee for "Mathematics for Computation", workshop, May, 2016, Niederaltaich, Germany
    • Member of the program committee for the Tenth International Conference on Computability and Complexity in Analysis, Nancy, France, June 2013.
    • Member of the program committee for the workshop in honour of Helmut Schwichtenberg, MFCS \& CSL 2010 conference in Brno, Czech Republic.
    • Member of the organising committee, 7th Australia and New Zealand Mathematics Convention 2008 (Joint meeting of the Australian and New Zealand Math Societies).
    • Involved in the re-accredidation of the University of Siegen B.A. program for computer scientists.
    • Involved in writing the successful grant proposal for the group CONSTRUMATH under the Marie Curie actions exchange scheme (FP7) of the European Union (57600 Eur awarded by the EU, Eur 28500 awarded by New Zealand).
    • Refereeing for "Journal of Symbolic Logic", "Annals of Pure and Applied Logic", "Mathematical Logic Quarterly", "Archive for Mathematical Logic", "Journal of Universal Computer Science", "Journal of Logic and Analysis", and "Logic Journal of the IGPL". Refereeing for the "Research Foundation - Flanders (FWO)" (The Dutch part of the Belgium National Fund for Scientific Research).

    List of Talks, and Publications

    See separate page for publications and page for talks