ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Erik Poll

Not registered as user yet

Name:Erik Poll

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
Research interests:Formal methods, Security, Programming Languages


Show activities from other conferences

ECOOP 2015-profile
View general profile