Project-team CAMBIUM Programming languages: type systems, concurrency, proofs of programs The research conducted in the Cambium group aims at improving the safety, reliability and security...
©Collège de France - Patrick Imbert Awards & Honours Xavier Leroy appointed to the French Academy of Sciences: a life devoted to computing 21/02/2023
© Inria / Photo B. Fourrier Programming languages Cambium unveils a new version of OCaml programming language 16/12/2022
© Inria / Photo B. Fourrier Awards & Honours CompCert software program receives a prestigious award 29/06/2022
