Norine Coenen

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

Norine Coenen is a PhD student at the CISPA Helmholtz Center for Information Security in Germany working together with Bernd Finkbeiner. She is working on formal methods for the verification of hardware and software systems and on techniques that allow the verification of hyperproperties on these systems. Specifically, she has been working on different logics to express hyperproperties and the model checking problem of HyperLTL, a temporal logic for hyperproperties. She is also working on the CAVlinks project, a website for the community around the Conference on Computer-Aided Verification (CAV) that collects useful links and material for students and researchers in this field.

Program Visits