Project WAM was closed in December 2012.
Project Tyrex was created as a follow-up.
Please refer to Tyrex to get the
latest information.
This page is no longer updated.
It is provided as historical background.
Open Positions
PhD
- An XQuery Developement Environment for Mobile Devices(position filled)
Master internship
- Pointer Analysis and Verification
- Access Control Policies for XML: Analysis and Verification for Security
- Privacy Analysis and Verification in Social Networks
Interested? Please contact the author of this page: