Matthias Baaz

Matthias Baaz is currently University Professor and Head of the Group for Computational Logic at the Institute of Discrete Mathematics and Geometry at the Technische Universität Wien, Austria.