Vakgebied: Computer Science - Automated Reasoning: Symbolic Model Checking
- Automated Reasoning: satisfiability
- Quantitative Formal Modeling and Worst-Case Performance Analysis
- Geometric Algorithms
- I/O-efficient algorithms
- Approximation Algorithms
- System Validation: Automata and behavioural equivalences
- System Validation (2): Model process behaviour
- System Validation (3): Requirements by modal formulas
- System Validation (4): Modelling Software, Protocols, and other behaviour
| Vakgebied: Business - Value Creation Through Innovation Specialization, bestaat uit:
- The Impact of Technology
- Innovation & Entrepreneurship - From Basics to Open Innovation
- Innovation & Entrepreneurship - From Design Thinking to Funding
- Marketing Strategy for Entrepreneurs
- Capstone Value Creation through Innovation
|
Vakgebied: Social Sciences - Privacy and Standardisation Specialization (黑料福利网), bestaat uit:
- Privacy in the Western World
- Privacy in the USA
- Privacy in Europe
- Privacy & Standardisation Capstone
- Standardisation & Technology
| Vakgebied: Information Technology - Security and Privacy for Big Data - Part 1
- Security and Privacy for Big Data - Part 2
- Cybersecurity Awareness and Innovation
- Mastering Digital Twins
|