Erik Poll
Associate professor in the Digital Security (DS) group
Institute for Computing and Information Sciences
Radboud University Nijmegen
Personal website: https://www.cs.ru.nl/E.Poll/
Publications
For a full list of publications, click here.
Presentations
For a full list of publications, click here.
Slides of some of my talks
Below some ESC/Java2 exercises to try out. The first two, Bag.java and Amount.java, are pretty basic and should doable after succesfully installing ESC/Java2 and reading the "1 Intro" slides above.
For people not so familiar with programming or Java, here is another excercise using ESC/Java which requires minimal programming skills; it was developed for information science students in Nijmegen, to show them how formal methods can help in requirement engineering, esp. by exposing missing (implicit) assumptions.Other
member advisory board Dcypher (https://www.dcypher.nl/nl/adviesraad)
Media attention