We are surrounded by all sorts of embedded systems, that control our everyday life : the distribution of electricity, transportation means (airplanes, trains, cars…), (smart) cities etc. These control systems are now heavily interconnected : the smart-grid, providing electricity to users, is a huge interconnected system that (locally) controls plants, providing electricity, regulating current needs and production, routes electricity to the final users, even if some of the network is faulty etc. These systems are now known as cyberphysical systems (, a whole new branch of research, which is based on computer science (programming languages, specification and validation, logics, big data etc.) and applied mathematics (control theory, in particular). Industry itself is currently being revolutionized by these new concepts, see, e.g., Industry 4.0 in Germany ( The programme is actually both sponsored by renowned academic actors (such as Ecole polytechnique, ENSTA ParisTech and Télécom ParisTech – forthcoming agreements with top international universities) as well as famous industrial actors (such as Thalès, Dassault Aviation, DCNS and DGA).

COMASIC aims at providing a training of excellence in the design, modelisation and architecture of such complex computer systems. The programme consists of courses both in Computer Science and Applied Mathematics, with a focus on formal methods for designing and validating such complex systems : aspects covered comprise formal specification of complex systems, validation and proof of correctness, control theory, sensor networks and big data (see the page for the year 2015-2016

We are accepting applications from top students from top universities worldwide. Be advised that the programme has become a highly selective programme (30 students maximum) where only the students with top marks in Computer Science and Mathematics, and top recommandation from faculty, will be enrolled.