M.Sc. Florian Wörz

Interessen

  • Beweiskomplexität
  • SAT-Solving

Lehre

Als Doktorand:

Als Student:

  • Repetitor für Analysis I für Informatiker und Ingenieure (SoSe 2018)
  • Tutor für Analysis I für Informatiker und Ingenieure (SoSe 2018)
  • Kolloquiumstutor für Analysis I (WS 17/18)
  • Korrektor für Kryptologie (SoSe 2017)
  • Korrektor für Analysis I (SoSe 2016)
  • Übungsleiter für Analysis IIa und IIb für Informatiker und Ingenieure (WS 15/16)
  • Tutor für Gewöhnliche Differentialgleichungen (SoSe 2015)
  • Korrektor für Gewöhnliche Differentialgleichungen und Funktionentheorie (SoSe 2014)
  • Tutor für Analysis II für Informatiker und Ingenieure (WS 13/14)
  • Repetitor für Analysis I für Informatiker und Ingenieure (WS 13/14)
  • Gruppentutor des Mathematik-Trainingscamps 2013
  • Repetitor für Analysis I für Informatiker und Ingenieure (SoSe 2013)
  • 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

Funktion

Wissenschaftlicher Mitarbeiter

Kontakt

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

Sprechzeiten

Nach Vereinbarung.