Niklas Metzger

Graduate Student, CISPA Helmholtz Center
Visiting Graduate Student
Dates of Visit: Feb. 15Mar. 14, 2021

Niklas Metzger is a PhD student at CISPA Helmholtz Institute of Information Security in Germany. He is advised by Bernd Finkbeiner and a member of the Reactive Systems Group. Before joining CISPA, he received his BSc and MSc at Saarland University in Germany. Niklas’ research focuses on synthesis and verification of reactive and distributed systems.

Program Visits