Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Fax:	+49-241-80-22215
Email:	hoelzel [AT] logic.rwth-aachen.de

Research

I worked as a research assistent at the Mathematical Foundations of Computer Science group from September 2015 to January 2020, and my PhD thesis defense took place in December 2019. My research interests are in the field of logics with team semantics.

Teaching

• Seminar Logic, Complexity, Games
  • Logics for Reasoning about Uncertainty, Dependence and Independence
  • Computational Social Choice
  • Guarded Logics and Automata
  • Algorithmic Meta-Theorems in Logic
  • Logics of Dependence and Independence
• Mathematical Logic (SS 2016, SS 2017, SS 2018, SS 2019)
• Logic and Games (WS 2015)

Recent Publications

• 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.

All publications