About me
This is Norine Coenen’s new website, it is currently under construction.
Norine Coenen
PhD candidate at Saarland University, working on the verification of hyperproperties
- Saarbrücken, Germany
- Github
- Google Scholar
- ORCID
This is Norine Coenen’s new website, it is currently under construction.