Thilo Weinert

http://www.logic.univie.ac.at/~weinertt92/
Kurt Goedel Research Centre for Mathematical Logic, University of Vienna
AUSTRIA