Dr. Titus Dose
Lehrstuhl für Informatik I
Universität Würzburg
Am Hubland
D-97074 Würzburg
Raum: 00.006 (im Gebäude M4)
Tel.: +49 (0) 931-31-85750
Email: titus.dose@uni-wuerzburg.de
Lehrveranstaltungen
Sommersemester 2020
- Übungen Theoretische Informatik
Wintersemester 2019/20
- Übungen Berechenbarkeit
Sommersemester 2019
- Repetitorium Theoretische Informatik
Wintersemester 2018/19
- Übungen Automatentheorie
Sommersemester 2018
- Repetitorium Theoretische Informatik
Wintersemester 2017/18
- Übungen Komplexitätstheorie II
Sommersemester 2017
- Übungen Theoretische Informatik
- Repetitorium Theoretische Informatik
Wintersemester 2016/17
- Übungen Mathematische Logik
Sommersemester 2016
- Übungen Theoretische Informatik
- Repetitorium Theoretische Informatik
Wintersemester 2015/16
- Übungen Kryptographie und Datensicherheit
- Seminar Kryptographie
Sommersemester 2015
- Repetitorium Theoretische Informatik
Veröffentlichungen
Eine Liste meiner Veröffentlichungen findet sich auf der Seite des DBLP.
Meine Dissertation mit dem Titel "Balance Problems for Integer Circuits and Separations of Relativized Conjectures on Incompleteness in Promise Classes" ist hier zu finden.
Preise
- Best Student Paper Award des "43rd International Symposium on Mathematical Foundations of Computer Science 2018" (MFCS 2018)
