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.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Graduate Student.