Project-team

CAMBIUM

Programming languages: type systems, concurrency, proofs of programs
Programming languages: type systems, concurrency, proofs of programs

The research conducted in the Cambium group aims at improving the safety, reliability and security of software through advances in programming languages and in formal program verification. Our work is centered on the design, formalization, and implementation of programming languages, with particular emphasis on type systems and type inference, formal program verification, shared-memory concurrency and weak memory models. We are equally interested in theoretical foundations and in applications to real-world problems. The OCaml programming language and the CompCert C compiler embody many of our research results.

Centre(s) inria
Inria Paris Centre
In partnership with
Collège de France

Contacts

Team leader

Helene Milome

Team assistant

News