Verification & testing

• Home

Research

• Publications
• Topics
• - AI & ML
• - CS education
• - Formal verification & testing
• - Security & privacy
• Projects
• Seminar (OUrsi)

Teaching

• Bachelor Computer Science
• Master Software engineering
• Master Computer Science
• Certified Professional
• - CPP Java
• - CPP Databases
• - CPP Security
• - CPP Software Architect

Group

• Members
• Graduated PhDs
• Former members
• Vacancies
• Software

contact info

Secretariat
Open Universiteit
Valkenburgerweg 177
6419 AT Heerlen
Netherlands

phone:	+31 (0)45 576 2828
email:	secretariaat.mst@ou.nl
www:	http://cs.ou.nl/
twitter:	@ou_informatica