Skip to topic
|
Skip to bottom
IST-15905
Mobius
Home
Objectives
Partners
Workpackages
End User Panel
Scientific Advisory Board
Publications
Deliverables
Links to Related projects
Intranet
Tools
Search
Changes
Start of topic |
Skip to actions
<img src="/twiki/pub/Members/RadboudUniversiteit/nijmegen_logo.gif" alt=""/> <p> The <a href="http://www.sos.cs.ru.nl/index.html"><b>Security of Systems</b></a> group at the <b>Radboud University Nijmegen</b> focuses its research on security and Java specification and verification. The group is involved in the workpackages <ul> <li> WP1, more specifically on framework-specific security (Task 1.3) and application-specific security (Task 1.4); </li> <li> WP3 on logical-based verification; </li> <li> WP5 on case studies. </li> </ul> <p> The people involved in Nijmegen are * <a href="http://www.cs.ru.nl/~chaack">Christian Haack</a> * <a href="http://www.cs.ru.nl/~erikpoll">Erik Poll</a> * <a href="http://www.cs.ru.nl/~alx">Aleksy Schubert</a> (Aleksy has moved from Warsaw to Nijmegen for one year on a Marie Curie Fellowship starting Nov 2005)
End of topic
Skip to action links
|
Back to top
r1.8 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Members
>
RadboudUniversiteit
to top
Ideas, requests, problems regarding the Mobius site