• View
• Edit
• History
• Print

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.)