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

• Seminar Logik, Komplexität, Spiele
  • Logics for Reasoning about Uncertainty, Dependence and Independence
  • Computational Social Choice
  • Bewachte Logiken und Automaten
  • Algorithmische Meta-Theoreme in der Logik
  • Logics of Dependence and Independence
• Mathematische Logik (SS 2016, SS 2017, SS 2018, SS 2019)
• Logik und Spiele (WS 2015)

Aktuelle Publikationen

• M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. Logical Methods in Computer Science, vol. 17(3), 2021.
• A. Dawar, E. Grädel, and M. Hoelzel. Convergence and Nonconvergence Laws for Random Expansions of Product Structures. In Fields of Logic and Computation III (A. Blass, P. Cégielski, N. Dershowitz, M. Droste, and B. Finkbeiner, Eds.), pp. 118–132. Springer, 2020.
• M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) (M. Fernández and A. Muscholl, Eds.), vol. 152 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 25:1–25:16, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2020.
• M. Hoelzel. Fragments of Existential Second-Order Logic and Logics with Team Semantics. PhD thesis, RWTH Aachen University, 2019.
• M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. arXiv:1910.06057 [cs.LO], 2019.

Alle Publikationen