Erik Poll

I'm a researcher in the SOS (Security of Systems) group at the Computing Science Department of the Radboud University Nijmegen.

Address and contact information

Teaching

• Introduction to theorem proving with PVS for IPA PhD students.
• Software Security
• Formal Methods in the Software Life Cycle for the OOTI postgraduate training program at the University of Eindhoven
• Processen & Concurrency
• Bedrijfssystemen (A2)
• Introductie Informatica en Informatiekunde (III)
• Introductie Linux voor docenten voortgezet onderwijs

Research

Recent papers and talks.

My research interests include program specification and verification, foundations and software engineering for object-oriented languages, security, theorem proving, and type theory.
My current work focuses on formal specification and tool-assisted verification for Java, more in particular on

• the specification language JML (Java Modeling Language) that provides assertions and Design-by-Contract for Java,

• the Java Card language for programming smart cards.

Program committees, events, etc.

• SAC'07 - ACM 2007 Symposium on Applied Computing - Technical Track on Software Verification
  Deadline for Submission: Sept 8
• Exploratory Workshop: Challenges in Java Program Verification in Nijmegen, 16-18 Oct 2006
• OWASP AppSec Europe 2006
• FTfJP - Formal Techniques for Java-like Programs at ECOOP
• FMOODS 2006 (Formal Methods for Open Object-based Distributed Systems)
• FOSSACS 2006
• SAVCBS'05 - Specification and Verification of Component-Based Systems Workshop at ESEC/FSE
• PASTE'05 - Program Analysis for Software Tools and Engineering
• Tutorial on Design by contract and automatic verification for Java with JML and ESC/Java2:
  at ETAPS'2005 (April 2), FM'2005 (July 19), and ECOOP'2005 (July 25).
• Tutorial on Formal Methods and Java Card Modelisation at Smart University, Sophia-Antipolis, Sept 20-23
  
• Small Systems Security/Smart Cards at SEC'2005, Chiba, Japan.

Organisations

• Safe-NL platform for computer security research in the Netherlands
• OWASP Netherlands Open Web Application Security Project - Netherlands local chapter
• IFIP WG 11.2: Small Systems Security

Projects

• Robin, funded by EU PASR.
• Mobius, funded by EU IST FP6.
• PINPAS JC, funded by STW Sentinels.
• JASON, funded by STW Sentinels.
• Samasc funded by NWO, finished February 2006. 1/02/2002 - 1/02/2006
• VerifiCard, funded by EU IST FP5, finished November 2003.