Mogelijke Clusters
Center
De hoofdkopjes zouden stromen kunnen zijn, waarmee we adverteren. Als een student 10 vakken moet doen, dan betekent dat bijv twee stromen en nog twee vakken vrij te kiezen. Laat uw fantasie de vrije loop en probeer interessante combinaties te verzinnen, zoals de "Intelligent Web-based Systems".
- Advanced Programming Techniques
- Programming Languages Concepts
- AFP (Advanced/Applied FP)
- Generic Programming (Theory variant, even years)
- Multi Agent Programming?
- Model checking?
- Programming Language Implementation
- Programming Languages Concepts
- AFP (Advanced/Applied FP)
- Compiler Construction
- Automatic Program Analysis
- Model checking
- Software System Development
- Software Engineering
- Generic programming (Model Driven Development variant, odd years)
- Data-base architecturen
- Software Architectures/Large Scale Software Development
- Model checking
- Intelligent Web-Based systems
- Virtuele markten
- Data-base architecturen
- Core techniques from Google (dwz: Learning from data, data-mining, evolutionaire algorithmen)
- Programming Languages Concepts
- Decision Support Systems
- Besliskunde
- Probabilitisch redeneren
- Constraint satisfaction
- Hard problems exact algorithms
- Algorithms
- Automatic Reasoning
- Automatic Program Analysis & Program Verification
- Semantics of Programming Languages
- ???