Model-based Computing Systems (MCS)

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.

Top page top