Scholar
Niklas Metzger
Google Scholar ID: JyG4luQAAAAJ
CISPA Helmholtz Center for Information Security
Citations & Impact
Citations
205
H-index
8
i10-index
8
Publications
18
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple papers including 'Synthesis of Universal Safety Controllers', 'Information Flow Guided Synthesis', 'Synthesis of Temporal Causality' at conferences like TACAS, CAV, etc.
Research Experience
- Involved in multiple research projects such as Synthesis of Universal Safety Controllers, Information-Flow Guided Synthesis, and presented at several international conferences.
Education
- Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University.
Background
- Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University. Research interests include hyperproperties, reactive synthesis, and the interplay of formal methods and machine learning. Current research focuses on compositional synthesis guided by the principles of knowledge, actual causality for reactive systems, and building machine learning models as heuristics in complex formal method tasks.
Co-authors