Modelling, Simulation & Design Lab Computer-aided multi-paradigm modelling and simulation / Model compilers & languages / Rapid application development / Reactive systems
Reasoning and Learning Lab Probabilistic systems / Markov processes / Decision making under uncertainty / Reinforcement learning