Matthias Hoelzel

Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Fax:   +49-241-80-22215
E-Mail:   hoelzel [AT] logic.rwth-aachen.de

Forschung

In der Zeit vom September 2015 bis Januar 2020 habe ich als wissenschaftlicher Mitarbeiter beim Lehrstuhl für Mathematische Grundlagen der Informatik gearbeitet. Im Dezember 2019 habe ich meine Doktorprüfung abgelegt. Mein Forschungsschwerpunkt liegt im Bereich der Logiken mit Team-Semantik.

Lehre

Aktuelle Publikationen

Alle Publikationen