Skip to topic | Skip to bottom
... Mobius IST-15905

Start of topic | Skip to actions

The Security of Systems group at the Radboud University Nijmegen focuses its research on security and Java specification and verification. The group is involved in the workpackages

  • WP1, more specifically on framework-specific security (Task 1.3) and application-specific security (Task 1.4);
  • WP3 on logical-based verification;
  • WP5 on case studies.

The people involved in Nijmegen are

  • Christian Haack
  • Erik Poll
  • Aleksy Schubert (Aleksy has moved from Warsaw to Nijmegen for one year on a Marie Curie Fellowship starting Nov 2005)