Univ.-Prof. Dr. Stefan Szeider
, Vienna Center for Logic and Algorithms