M.Sc. Florian Wörz

Interests

  • Proof Complexity (in particular Resolution)
  • SAT-Solving (mainly from a theoretical point of view), in particular the interplay between SAT-Solving and Resolution

Teaching

See my German page for an up to date list.

As Doctoral Student:

  • Proseminar Algorithms
  • Graduate Teaching Assistant for Analysis II for Computer Scientists and Engineers

As Student:

  • Lecturer of the revision course for Analysis I (SoSe 2018)
  • Tutor for Analysis I for Computer Scientists and Engineers (SoSe 2018)
  • Tutor responsible for oral colloquium examinations in Analysis I (WS 17/18)
  • Tutor for Cryptology (SoSe 2017)
  • Tutor for Analysis I (SoSe 2016)
  • Graduate Teaching Assistant for Analysis II for Computer Scientists and Engineers (WS 15/16)
  • Teaching Assistant for Ordinary Differential Equations (SoSe 2015)
  • Tutor for Ordinary Differential Equations and Functions in Complex Variables (SoSe 2014)
  • Tutor for Analysis II for Computer Scientists and Engineers (WS 13/14)
  • Lecturer of the revision course for Analysis I (WS 13/14)
  • Group Leader in the “Mathematical preparatory course" 2013
  • Lecturer of the revision course for Analysis I (SoSe 2013)
  • Group Leader in the “Mathematical preparatory course" 2012

Publications

  • Jacobo Torán and Florian Wörz. Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space. Electronic Colloquium on Computational Complexity (ECCC), TR19-097, Juli 2019. (pdf)
  • Florian Wörz. Zeit-Platz Tradeoffs im Beweissystem der Resolution. English Translation: Time-Space trade-offs in the Resolution Proof System. Master Thesis, Universität Ulm, 2018. (pdf

Conferences and Workshops

Consultation hours

I offer no consultation hours during the semester breaks.

Consultation by appointment only.

Contact

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