teaching

bases de l'informatique

le cours a pour objectif de introduire les concepts fondamentaux de l'informatique la logique, la modélisation, les operators de bases de la programmation ainsi que quelque structure de donnés

communication & concurrency

The aim of this course is to introduce mathematical formalisms for modelling and reasoning about properties of parallel, reactive systems. The list of precise topics covered by the cours changes every year. Topics may include models of message passing and shared memory concurrency (Petri nets, process algebras, communicating and timed automata) as well as formalisms to reason on such systems (bisimulation techniques, session types, logics, invariants…).

parallelism

The aim of this course is to provide an introduction to parallel programming. After this course you will have a better understanding of the challenges and benefits of multi-threaded computations. We will focus mainly on algorithms and their implementation using high and low level mechanism.

type systems

The aim of the course is to introduce a family of formal methods to reason about programs. We will focus on type systems that are useful for statically prove the absence of some bad program behaviours.