Institute of
Discrete Mathematics and Geometry

Ao.Univ.Prof. Dr. Matthias Baaz


Main areas of research

Mathematical Logic and Theoretical Computer Science. In particular, Proof Theory, Formal Language Theory, Hilbert's Epsilon-calculus, Many-valued Logics, Fuzzy Logic and Automated Deduction.


1984Ph.D. in Mathematics, University of Vienna
1992Habilitation in Mathematical Logic, TU Wien
1992Associate professor in Mathematical Logic, TU Wien

Most important professional activities

Executive Vice President of the Kurt Gödel Society, Vienna.
Chair of the Vienna Summer of Logic 2014 (about 2500 parti- cipants).
Member of programme committee: LFCS'16, VSL'14, TABLEAUX'13, CSL'11 (selection).
Invited speaker at numerous international conferences and workshops including ISRALOG'14, TbiLLC'13, LC'10, CSL'05 and FLoC'02.