2025-2026
Compilers
Compilers
			Studiegidsnr:
					
			1001WETCOP
					
Theoretical Computer Science Seminar
Theoretical Computer Science Seminar
			Studiegidsnr:
					
			1500WETTHC
					
Specification and verification
Specification and verification
			Studiegidsnr:
					
			2001WETFSP
					
- Master in de informatica: software engineering
- Master in de informatica: Data Science en artificiële Intelligentie
- Master in de informatica: computernetwerken
- Master in de wiskunde: financiële en toegepaste wiskunde
- Master of Computer Science: Software Engineering
- Master of Computer Science: Data Science and Artificial Intelligence
- Master of Computer Science: Computer Networks
- Educatieve master in de wetenschappen en technologie: informatica
- Courses open to exchange students in Sciences
Programming paradigms
Programming paradigms
			Studiegidsnr:
					
			2001WETPPA
					
- Master in de informatica: software engineering
- Master in de informatica: Data Science en artificiële Intelligentie
- Master in de informatica: computernetwerken
- Master in de wiskunde: financiële en toegepaste wiskunde
- Master of Computer Science: Software Engineering
- Master of Computer Science: Data Science and Artificial Intelligence
- Master of Computer Science: Computer Networks
- Educatieve master in de wetenschappen en technologie: informatica
- Courses open to exchange students in Sciences
Masterproef informatica: computernetwerken
Masterproef informatica: computernetwerken
			Studiegidsnr:
					
			2009WETMAP
					
Master thesis Computer Science: Computernetworks
Master thesis Computer Science: Computernetworks
			Studiegidsnr:
					
			2011WETMAP
					
Mathematical Foundations of Reinforcement Learning
Mathematical Foundations of Reinforcement Learning
			Studiegidsnr:
					
			2500WETMRL
					
- Master in de wiskunde: financiële en toegepaste wiskunde
- Master in de wiskunde: fundamentele wiskunde
- Master of Computer Science: Software Engineering
- Master of Computer Science: Data Science and Artificial Intelligence
- Master of Computer Science: Computer Networks
- Courses open to exchange students in Sciences
Masterproef informatica: Data Science en Artificiële Intelligentie
Masterproef informatica: Data Science en Artificiële Intelligentie
			Studiegidsnr:
					
			2501WETMAP
					
Master thesis Computer Science: Software Engineering
Master thesis Computer Science: Software Engineering
			Studiegidsnr:
					
			2502WETMAP
					
Master thesis Computer Science: Data Science and Artificial Intelligence
Master thesis Computer Science: Data Science and Artificial Intelligence
			Studiegidsnr:
					
			2503WETMAP
					
Master thesis Computer Science: Software Engineering
Master thesis Computer Science: Software Engineering
			Studiegidsnr:
					
			2504WETMAP
					
ASWU Sofiware Testing and beyond
ASWU Sofiware Testing and beyond
			Studiegidsnr:
					
			9500WETSTB
					
2024-2025
Compilers
Compilers
			Studiegidsnr:
					
			1001WETCOP
					
Theoretical Computer Science Seminar
Theoretical Computer Science Seminar
			Studiegidsnr:
					
			1500WETTHC
					
Specification and verification
Specification and verification
			Studiegidsnr:
					
			2001WETFSP
					
- Master in de informatica: software engineering
- Master in de Informatica: Data Science en Artificiële Intelligentie
- Master in de informatica: computernetwerken
- Master in de wiskunde: financiële en toegepaste wiskunde
- Master of Computer Science: Software Engineering
- Master of Computer Science: Data Science and Artificial Intelligence
- Master of computer science: Computer networks
- Educatieve master in de wetenschappen en technologie: informatica
- Educatieve master in de wetenschappen en technologie: STEM
- Courses open to exchange students in Sciences
Programming paradigms
Programming paradigms
			Studiegidsnr:
					
			2001WETPPA
					
- Master in de informatica: software engineering
- Master in de Informatica: Data Science en Artificiële Intelligentie
- Master in de informatica: computernetwerken
- Master in de wiskunde: financiële en toegepaste wiskunde
- Master of Computer Science: Software Engineering
- Master of Computer Science: Data Science and Artificial Intelligence
- Master of computer science: Computer networks
- Educatieve master in de wetenschappen en technologie: informatica
- Educatieve master in de wetenschappen en technologie: STEM
- Courses open to exchange students in Sciences
Masterproef informatica met inbegrip van stage: computernetwerken
Masterproef informatica met inbegrip van stage: computernetwerken
			Studiegidsnr:
					
			2009WETMAP
					
Master thesis Computer Science including internship: Computernetworks
Master thesis Computer Science including internship: Computernetworks
			Studiegidsnr:
					
			2011WETMAP
					
Mathematical Foundations of Reinforcement Learning
Mathematical Foundations of Reinforcement Learning
			Studiegidsnr:
					
			2500WETMRL
					
- Master in de wiskunde: financiële en toegepaste wiskunde
- Master in de wiskunde: fundamentele wiskunde
- Master of Computer Science: Software Engineering
- Master of Computer Science: Data Science and Artificial Intelligence
- Master of computer science: Computer networks
- Courses open to exchange students in Sciences
Masterproef informatica met inbegrip van stage: Data Science en Artificiële Intelligentie
Masterproef informatica met inbegrip van stage: Data Science en Artificiële Intelligentie
			Studiegidsnr:
					
			2501WETMAP
					
Masterproef informatica met inbegrip van stage: Software Engineering
Masterproef informatica met inbegrip van stage: Software Engineering
			Studiegidsnr:
					
			2502WETMAP
					
Master thesis Computer Science including internship: Data Science and Artificial Intelligence
Master thesis Computer Science including internship: Data Science and Artificial Intelligence
			Studiegidsnr:
					
			2503WETMAP
					
Master thesis Computer Science including internship: Software Engineering
Master thesis Computer Science including internship: Software Engineering
			Studiegidsnr:
					
			2504WETMAP
					
2023-2024
Compilers
Compilers
			Studiegidsnr:
					
			1001WETCOP
					
Specification and verification
Specification and verification
			Studiegidsnr:
					
			2001WETFSP
					
- Master in de informatica: software engineering
- Master in de informatica: data science en artificiële intelligentie
- Master in de informatica: computernetwerken
- Master in de wiskunde: financiële en toegepaste wiskunde
- Master of Computer Science: Software Engineering
- Master of Computer Science: Data Science and Artificial Intelligence
- Master of computer science: Computer networks
- Educatieve master in de wetenschappen en technologie: informatica
- Educatieve master in de wetenschappen en technologie: STEM
- Exchange courses Sciences
Programming paradigms
Programming paradigms
			Studiegidsnr:
					
			2001WETPPA
					
- Master in de informatica: software engineering
- Master in de informatica: data science en artificiële intelligentie
- Master in de informatica: computernetwerken
- Master in de wiskunde: financiële en toegepaste wiskunde
- Master of Computer Science: Software Engineering
- Master of Computer Science: Data Science and Artificial Intelligence
- Master of computer science: Computer networks
- Educatieve master in de wetenschappen en technologie: informatica
- Educatieve master in de wetenschappen en technologie: STEM
- Exchange courses Sciences
Masterproef informatica met inbegrip van stage: computernetwerken
Masterproef informatica met inbegrip van stage: computernetwerken
			Studiegidsnr:
					
			2009WETMAP
					
Master thesis Computer Science including internship: Computernetworks
Master thesis Computer Science including internship: Computernetworks
			Studiegidsnr:
					
			2011WETMAP
					
Mathematical Foundations of Reinforcement Learning
Mathematical Foundations of Reinforcement Learning
			Studiegidsnr:
					
			2500WETMRL
					
Masterproef informatica met inbegrip van stage: Data Science en Artificiële Intelligentie
Masterproef informatica met inbegrip van stage: Data Science en Artificiële Intelligentie
			Studiegidsnr:
					
			2501WETMAP
					
Masterproef informatica met inbegrip van stage: Software Engineering
Masterproef informatica met inbegrip van stage: Software Engineering
			Studiegidsnr:
					
			2502WETMAP
					
Master thesis Computer Science including internship: Data Science and Artificial Intelligence
Master thesis Computer Science including internship: Data Science and Artificial Intelligence
			Studiegidsnr:
					
			2503WETMAP
					
Master thesis Computer Science including internship: Software Engineering
Master thesis Computer Science including internship: Software Engineering
			Studiegidsnr:
					
			2504WETMAP