HAS /
High Assurance Software
Work page for a European Masters in "High Assurance Software". The propsed program is joint between Chalmers University, ELTE University (Budapest), Radboud University (Nijmegen) and Babes-Bolyai University (Cluj-Napoca).
- About Erasmus Mundus (this application is for Action 1)
- Report on the 2011 application
- Notes from the 2011 application. There are also a lot of information on the Chalmers page of the HAS wiki (password-protected).
Contacts:
- Gothenburg: Emil Axelsson
- Nijmegen: Rinus Plasmeijer
- Budapest: Zoltán Horváth
- Cluj-Napoca: Anna Soós
Patrik Jansson was the Chalmers contact in 2010.
Misc:
- Gothenburg course list from 2010
(The p,a,s,s,w,o,r,d for editing these pages is the the name of the programming language associated with Rinus.)