Prerequisites:None
From time to time, the department presents lectures on special topics within Computer Science. This module will be used to present such special topics.
Model Checking is a technique for automatically verifying whether a software program satisfies correctness requirements such as mutual exclusion, …
Students may choose a supervisor/co-supervisor from any of the participating departments, which includes, but are not limited to: Electrical, …
In this module students will be introduced to Mathematical Optimization through gaining knowledge about the theory and algorithms to solve …
