Lukas Zenger (2025-2027)

Collaborator: Yanjing Wang

Research Interest: modal logic, proof theory, intuitionistic modal and dynamic logic, the foundations of mathematics

Funding: Postdoc.Mobility from Swiss National Science Foundation

Doctoral Degree: PhD in mathematics, Ghent University, 2025

Homepage: click