Dr. Thomas Zeume

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