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