• Vorträge/Invited Talks


• Veröffentlichungen/Publications


• Lehre/Teaching

---

Vorträge / Talks

• On PAC structures.
  Colloquium Logicum 2010, Biannual meeting of the DVMLG (Deutsche Vereinigung für Mathematische Logik),
  University Münster, Germany, September 2010.


• Differenzen-abgeschlossene und pseudo-endliche Körper in Modelltheorie und Algebra.
  AG Algebra, Universität Freiburg, Januar 2010. (Seminar Algebra, University Freiburg, Germany, January 2010.)


• Pseudo-endliche und differenzen-abgeschlossene Körper.
  Hauptseminar Algebra und Zahlentheorie, Universität Heidelberg, Germany, März 2009.
  (Main Seminar on Algebra and Number Theory, University Heidelberg, Germany, March 2009.)


• Generic Automorphisms with prescribed fixed structures.
  Séminaire de logique mathématique, Université Claude Bernard - Lyon 1, France, Januar 2009.
  (Seminar of Mathematial Logic, University Claude Bernard - Lyon 1, France, January 2009.)


• Generic Automorphisms with prescribed fixed structures.
  Séminaire générale de logique, Université Denis Diderot - Paris 7, France, Dezember 2008.
  (Main Seminar of Logic, University Denis Diderot - Paris 7, France, December 2008.)


• Generic automorphims with prescribed fixed field.
  Workshop on the Model Theory of Fields, International Center for Mathematical Meetings, Luminy, France, November 2007.


• One-free PAC fields and Generic Automorphisms.
  Conference on the Model Theory of Fields, University of Freiburg, Germany, November 2006.


• Surgical Fields.
  Conference Model Theory of Arithmetic Structures, University of Freiburg, Germany, Oktober 2004.


• Introduction to supersimple fields.
  Conference Field Theory and related Model Theory, University of Freiburg, Germany, Oktober 2003.

---

Veröffentlichungen / Publications

• Generic Automorphisms with Prescribed Fixed Fields, Dissertation 2009 (pdf).


• Generic Automorphisms with Prescribed Fixed Fields, accepted for publication in JSL.


• On Fukaya's Category over Elliptic Curves, Diplomarbeit 2002.


• Atom Definitions Extended (with T. Hillenbrand and C. Weidenbach).
  Lecture Notes in Computer Science, Vol. 2250; Proceedings of the Artificial Intelligence on Logic for Programming (2001).

In preparation:

• On a Theorem from Galois Cohomology (with Martin Ziegler).


• The Elementary Theory of bounded PAC-Structures in Stable Theories.

---

Lehre / Teaching

WS 2010/11	Übungen zur Vorlesung Logik für Studierende der Informatik
SS 2010	Übungen zur Vorlesung Analysis II
WS 2009/10	Übungen zur Vorlesung Analysis I    Fragestunde zur Vorlesung Analysis I (Di, 18:00 Uhr, Eckerstraße 1, Raum 404)
SS 2009	Seminar Modelltheorie
WS 2008/09	Übungen zur Vorlesung Logik für Studierende der Informatik
SS 2008	Übungen zur Vorlesung Mathematische Logik    Fragestunde zur Vorlesung Lineare Algebra II (Di, 13:00 Uhr, Albertstraße 23b, HS II)
WS 2007/08	Fragestunde zur Vorlesung Lineare Algebra I (Di, 13:00 Uhr, Eckerstraße 1, Raum 404)
SS 2007	Seminar Modelltheorie

---