Graduate Student, CISPA Helmholtz Center
Visiting Graduate Student
Noemi Passing is a fourth-year PhD student at CISPA Helmholtz Center for Information Security and the Saarbrücken Graduate School of Computer Science. She is advised by Bernd Finkbeiner. Previously, she received a bachelor’s degree in Computational Molecular Biology and a master’s degree in Computer Science from Saarland University. Noemi’s research centers around reactive synthesis and she is particularly interested in the synthesis of distributed systems. Her recent work focuses on compositional synthesis algorithms.