Titus Dose, PhD
Lehrstuhl für Informatik I
Universität Würzburg
Am Hubland
D-97074 Würzburg
Raum: 00.006 (in the building M4)
Tel.: +49 (0) 931-31-85750
Email: titus.dose@uni-wuerzburg.de
Teaching
summer term 2020
- exercises theoretical computer science
winter term 2019/20
- exercises computability
summer term 2019
- review course theoretical computer science
winter term 2018/19
- exercises automata theory
summer term 2018
- review course theoretical computer science
winter term 2017/18
- exercises complexity theory II
summer term 2017
- exercises theoretical computer science
- review course theoretical computer science
winter term 2016/17
- exercises mathmatical logic
summer term 2016
- exercises theoretical computer science
- review course theoretical computer science
winter term 2015/16
- exercises cryptography and data security
- seminar cryptography
summer term 2015
- review course for theoretical computer science
Publications
A list of my publications can be found at DBLP.
My dissertation with the title "Balance Problems for Integer Circuits and Separations of Relativized Conjectures on Incompleteness in Promise Classes" can be found here.
Awards
- Best Student Paper Award at "43rd International Symposium on Mathematical Foundations of Computer Science 2018" (MFCS 2018)