This area focuses on the design and application of formal methods and mathematical methods in computer science and modelling. We are interested in the design and analysis of algorithms and software systems for which we prove properties such as correctness, complexity, safety, responsiveness, etc. This methodological approach is applied to various fields in the unit.