
Ao.Univ.Prof. Dr. Matthias Baaz
Phone:  +43158801/11821 
Fax:  +43158801/11892 
Email:  baaz@logic.at 
Main areas of research
Mathematical Logic and Theoretical Computer Science. In particular, Proof Theory, Formal Language Theory, Hilbert's Epsiloncalculus, Manyvalued Logics, Fuzzy Logic and Automated Deduction.
Career
1984  Ph.D. in Mathematics, University of Vienna 
1992  Habilitation in Mathematical Logic, TU Wien 
1992  Associate 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. 
