ECOOP 2015 (series) / Erik Poll
![Erik Poll](https://2015.ecoop.org/getProfileImage/erikpoll/77fbd312-7d37-459b-9ff4-a8741b397567/small.jpg?1711680146000)
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.
Country:Netherlands
Affiliation:Radboud University Nijmegen
Personal website: http://www.cs.ru.nl/%7Eerikpoll/
Research interests:Formal methods, Security, Programming Languages
Contributions
ECOOP 2015-profile
View general profile
View general profile