Niklas Metzger

Graduate Student, CISPA Helmholtz Center for Information Security

Niklas Metzger is a PhD student at CISPA Helmholtz Center for 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 compositional distributed synthesis guided by the principles of knowledge, actual causality in reactive systems, and the development of logics and algorithms for the verification of hyperproperties.

Program Visits

Theoretical Foundations of Computer Systems, Spring 2021, Visiting Graduate Student
Extended Reunion: Theoretical Foundations of Computer Systems