Date Range
Date Range
Date Range
I am a full-time researcher at Inria. I am based in Strasbourg, in the Camus. Team, part of the ICPS. I also work closely with the DeepSea. My research interests span from programming languages to mechanized proofs. Program verification using characteristic formulae. Separation Logic with temporary read-only permissions. Separation Logic with time credits. Proving amortized asymptotic time complexity. PC chair for the 2nd I.
Interview de Michel de Mathelin.
Simulation lentille de Fresnel à milieu effectif.
Matériaux et concepts pour le photovoltaïque inorganique. Composants électroniques et photovoltaïques organiques. T1 Matériaux inorganiques avancés pour le photovoltaïque. Département D-ESSP - Equipe MaCÉPV.
Dynamique des écoulements à surface libre, sensibilité, problèmes inverses. Transferts réactifs, rhéologie et procédés environnementaux.
Sur ces trois axes, la co.