Marco Sälzer

PhD Student in Formal Methods and Theoretical Computer Science