M.Sc. Florian Wörz

Interessen

  • Beweiskomplexität (vor allem Resolution)
  • SAT-Solving (hauptsächlich aus theoretischer Sicht), vor allem Querbezüge zur Beweiskomplexität

Lehrtätigkeiten

Als Doktorand:

Als Student:

  • SoSe 18: Repetitor für die Vorlesung 'Analysis I für Informatiker und Ingenieure'
  • SoSe 18: Tutor für die Vorlesung 'Analysis I für Informatiker und Ingenieure'
  • WS 17/18: Kolloquiumstutor für die Vorlesung 'Analysis I'
  • SoSe 17: Korrektor für die Vorlesung 'Kryptologie: Algorithmen und Methoden'
  • SoSe 16: Korrektor für die Vorlesung 'Analysis I'
  • WS 15/16: Übungsleiter für die Vorlesung 'Analysis IIa und IIb für Informatiker und Ingenieure'
  • SoSe 15: Tutor für die Vorlesung 'Gewöhnliche Differentialgleichungen'
  • SoSe 14: Korrektor für die Vorlesung 'Funktionentheorie'
  • SoSe 14: Korrektor für die Vorlesung 'Gewöhnliche Differentialgleichungen'
  • WS 13/14: Tutor für die Vorlesungen 'Analysis IIa für Informatiker und Ingenieure' sowie 'Analysis IIb für Informatiker und Ingenieure'
  • WS 13/14: Repetitor für die Vorlesung 'Analysis I für Informatiker und Ingenieure'
  • SoSe 13: Gruppentutor des 'Mathematik-Trainingscamps 2013'
  • SoSe 13: Repetitor für die Vorlesung 'Analysis I für Informatiker und Ingenieure'
  • SoSe 12: Gruppentutor des 'Mathematik-Trainingscamps 2012'

Publikationen

  • Florian Wörz. Zeit-Platz Tradeoffs im Beweissystem der Resolution. Masterarbeit, Universität Ulm, 2018. (pdf)

Konferenzen und Workshops

Sprechzeiten

Ich biete in der vorlesungsfreien Zeit keine Sprechstunden an.

Sprechzeiten SoSe 2019:

Generell nur nach vorheriger Vereinbarung per E-Mail!

Funktion

Wissenschaftlicher Mitarbeiter

Kontakt

Florian Wörz
Raum: O27/534
Telefon: +49 (0)731 50 24104
Fax: +49 (0)731 50 1224101