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
- Workshop on Proof Complexity, Federated Logic Conference (FLoC 2018). Oxford, 2018.
Function
Scientific Assistant
Contact
firstname fullstop lastname_replace_the_Umlaut_with_oe at uni minus ulm dot de
Room: O27/534
Phone: +49 (0)731 50 24104
Fax: +49 (0)731 50 1224101