Wissenschaftlicher Mitarbeiter
Lehrstuhl Logik in der Informatik
Fakultät für Informatik
TU Dortmund
thomas.zeume@cs.tu-dortmund.de
http://www.cs.tu-dortmund.de/nps/de/Home/Personen/Z/Zeume__Thomas.html
Kurzer Lebenslauf (wichtigste Stationen):
2004-2009
Studium Mathematik mit Studienrichtung Informatik in Hannover
2009-2015
Promotion in der theoretischen Informatik in Dortmund
2009
Erasmus-Austauschjahr Universität Turku, Finnland
Forschungsgebiet:
Meine Forschungsinteressen liegen an der Schnittstelle zwischen Mathematik und Informatik. Die Anwendung logischer Formalismen in der Informatik, theoretische Grundlagen für Datenbanken und die Untersuchung der Schwierigkeit algorithmischer Probleme sind Schwerpunkte meiner Forschung.
Weitere Interessen:
- Wissenschaft in der Gesellschaft
- Menschen- und Bürgerrechte