Fields of research
Logic, descriptive set theory, game theory, automata theory, model theory and recursion theory, dynamic and reactive systems.In particular: Games and logics over dynamically changing structures.
Teaching
- Unendliche Spiele [Infinite games]
- Graduate Course, Winter 2005/06. Assistance, Problems Class.
Information - Automaten für XML [Automata for XML]
- Graduate Seminar, Winter 2005/06. Assistance.
Information - Automatentheorie [Automata Theory]
- Graduate Seminar, Summer 2005. Assistance.
Information - Automaten auf unendlichen Wörtern [Automata on infinite words]
- Graduate Course, Winter 2004/05. Assistance, Problems Class.
Information - Baumautomaten und Anwendungen [Tree automata and applications]
- Graduate Course, Winter 2004/05. Assistance, Problems Class.
Information - Automatentheorie [Automata Theory]
- Graduate Seminar, Winter 2004/05. Assistance.
Information - Applied Automata Theory
- Graduate Course, Summer 2004. Assistance, Problems Class.
Information - Hybride und Echtzeit-Systeme [Hybrid and Real-Time Systems]
- Graduate Seminar, Summer 2004. Assistance.
Information - Model-Checking
- Graduate Course, Winter 2003/04. Assistance, Lecture Recording.
Information - Automaten und semistrukturierte Daten (XML) [Automata and Semi-Structured Data (XML)]
- Graduate Seminar, Winter 2003/04. Assistance.
Information - Informatik-Praktikum für Mathematiker [Computer Science Training for Mathematicians]
- Practical Training, Winter 2003/04. Assistance.
Information - Angewandte Automatentheorie [Applied Automata Theory]
- Graduate Course, Summer 2003. Assistance, Lecture Recording.
Information - Rekursionstheorie [Recursion Theory]
- Graduate Course, Summer 2003. Assistance, Problems Class.
Information - Automata and Reactive Systems
- Graduate Course, Winter 2002/03. Assistance, Lecture Recording.
Information - Automatentheorie [Automata Theory]
- Graduate Seminar, Winter 2002/03. Assistance.
Information - Effiziente Algorithmen [Efficient Algorithm]
- Undergraduate Seminar, Winter 2002/03. Assistance.
Information - Automatentheorie und Formale Sprachen [Automata Theory and Formal Languages]
- Undergraduate Course, Summer 2002. Assistance, Lecture Recording.
Information - Plattform für automatentheoretische Algorithmen [Platform for Automata-Theoretical Algorithms]
- Software Lab, Summer 2002. Assistance.
Information - Mathematics & Computer Sciences
- Graduate Seminar, Winter 2001/02. Supervisor.
- Set Theory & Logic
- Graduate Seminar, Winter 2001/02. Supervisor.
- Set Theory & Logic II
- Graduate Course, Summer 2001. Assistance, Problems Class.
- Set Theory & Logic I
- Graduate Course, Winter 2000/01. Assistance, Problems Class.
- Graduate Seminars
- Summer 1999 - Summer 2001. Talks about Infinitary Combinatorics, Games & Determinacy, Forcing, Large Cardinals, Sharps, Q-Theory, Recursion Theory.
Scripts and Handouts (in German)
- Introduction to Recursion Theory
- Seminar "Mathematics & Computer Sciences", Winter 2001/02, Prof. Dr. Koepke/Rohde
PostScript - Q-Theory: P12n+1-Singletons
- Seminar for diploma candidates, Summer 2001, Prof. Dr. Koepke
PostScript - Descriptive Complexity of 0#
- Seminar "Core Models and Descriptive Set Theory", Winter 2000/2001, Prof. Dr. Koepke
PostScript - Compact Cardinals
- Seminar "Large Cardinals", Summer 2000, Prof. Dr. Koepke
PostScript - Forcing and Generic Extensions
- Seminar for diploma candidates, Winter 1999/2000, Prof. Dr. Koepke
PostScript - AD versus AC
- Seminar "Set Theory", Winter 1999/2000, Prof. Dr. Koepke
PostScript - Infinitary Combinatorics
- Seminar "Logic", Summer 1999, Prof. Dr. Koepke
PostScript - Quadratic Reciprocity Theorem (Aureum Theorema)
- Seminar "Algebra and Kryptography", Winter 1998/99, Prof. Dr. Koepke
PostScript - Spheric-Harmonic Functions
- Seminar "Analysis", Summer 1998, Prof. Dr. Lieb/Dr. Leschinger
PostScript