Model-based Computing Systems (MCS)
Welcome to the Model-based Computing Systems (MCS) research group!
Our research focuses on computer science aspects of programs and models, including model and programming language theory, compilers, formal semantics, constraint programming, real-time systems, and combinatorial optimization. We work on various kinds of models, including equation-based models, constraint models, timed models, algebraic models, and probabilistic models.
The MCS group is part of the
Department of Software and Computer Systems (SCS), at the
School of Information and Communication Technology (ICT).