Matthias Baaz

Ao.Univ.Prof. Dr. Matthias Baaz is an Associate Professor at TU Wien's Institute of Discrete Mathematics and Geometry. His research focuses on Mathematical Logic and Theoretical Computer Science, with specialties in Proof Theory, Hilbert's Epsilon-calculus, and Automated Deduction. He leads the FWF-funded project on branching quantifiers and collaborates with the Steklov Institute on proof representation. Key contributions include the CERES method for cut-elimination and foundational work on independence-friendly logics.

Prof. Baaz organized major events like the 2014 Vienna Summer of Logic (2500 participants) and the 2018 FISP Workshop on proof systems. He serves as Executive Vice President of the Kurt Gödel Society and has held roles on program committees for LFCS'16, VSL'14, and others. His work bridges structural proof theory with computational applications in parallel computing and program extraction from proofs.

Current projects explore Henkin quantifiers' linguistic applications and extensions of CERES to non-classical logics. Academic activities include invited talks at ISRALOG'14, TbiLLC'13, and FLoC'02, alongside supervising research initiatives with international collaborators.