Skip to content

Research facility · founded 2019

CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme

Paris, France · inria.fr/equipes/cambium

Part of Institut national de recherche en sciences et technologies du numérique

Manage this page

Citations, last 5 years: 10
Works, last 5 years: 25
h-index: 19
Scientists listed: 2
Grants since 2016: 0

Strongest research topics

Logic, programming, and type systems75Computer Science
Formal Methods in Verification44Computer Science
Teaching and Learning Programming12Computer Science
Software Testing and Debugging Techniques11Computer Science
Security and Verification in Computing11Computer Science
Parallel Computing and Optimization Techniques10Computer Science

Most cited scientists, last five years

Luc MarangetCAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme · FranceComputer Science30citations, 5 yrs5works, 5 yrs25h-index Samuel VivienCAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme · FranceComputer Science8citations, 5 yrs5works, 5 yrs1h-index