Ph.D., 2008 Habilitation (HDR), 2019 Permanent researcher (2009) Curriculum-vitae Recent activities Publications - "Formal verification, scientific code, and the epistemological heterogeneity of computational science", Philosophy of Science, with Vincent Ardourel - “Explaining Scientific Collaboration: a General Functional Account”, The British Journal of Philosophy of Science, with Thomas Boyer-Kassem. -In press. "Gradualité des activités et pertinence…