Univ.Prof. Dr. .Laura Kovacs

, Vienna Center for Logic and Algorithms