Not registered as user yet
Name: Erik Poll
Bio: My research interest are formal methods and security, and ideally combining the two, though much of my research into security is more applied.
Affiliation: Radboud University Nijmegen
Personal website: http://www.cs.ru.nl/%7Eerikpoll/
Research interests: Formal methods, Security, Programming Languages
ECOOP 2015 Activities
View general profile