Univ.Prof. Dr. Agata Ciabattoni

, Vienna Center for Logic and Algorithms