Marco Sälzer

Researcher in Formal Methods, Theoretical Computer Science and Deep Learning