Using WordPress for updating this website is getting more dystopian each time I do it. I will at some point move my homepage somewhere more convivial. In the meantime I apologize for the poor readability and lack of up-to-date information.
I am a research scientist at Inria (CR) in the SPADES group.
Contact information
Office B117
Inria Grenoble – Rhône-Alpes
655 Avenue de l’Europe – Montbonnot
38334 St Ismier Cedex – FRANCE
email: firstname.lastname@inria.fr
Research Interests
Until 2018, my research mostly focused on real-time systems, computer-assisted proofs and contract theories.
I have now switched topics and focus on the environmental and social impact of ICT:
- [French] Co-animation avec Clément Marquet du groupe de travail Politiques environnementales du numérique du GDR adossé au Centre Internet et Société
- [French] Mise en place avec Éric Tannier des ateliers SEnS (Sciences, Environnements, Sociétés) pour aborder la question “Est-ce que les résultats de nos recherches participent à la construction d’un monde qui correspond à nos valeurs ?”
- I lead the SIA project on the role of ICT in the Anthropocene, which funds the PhD thesis of Baptiste de Goër on teaching ICT-related sustainability issues in computer science courses
- I co-supervized with Jacques Combaz, Kevin Marquet and Alain Girault the PhD thesis of Aina Rasoldier on claims about the benefits of using digital technologies for GHG emissions mitigation (PhD defended on February 12, 2024)
Feel free to drop me a line if you want to know more about this. I usually answer email within one or two weeks.
Publications
You can find more information on my publications here.
Short biography
Since 2018 Career change to focus on the environmental impacts of ICT
Since 2013 Research scientist at Inria (CR) in the SPADES group
2011-2013 Postdoc at the Institute of Computer and Network Engineering of TU Braunschweig with Rolf Ernst
2011 PhD in Computer Science at VERIMAG under the supervision of Susanne Graf
2005 MSc in Computer Science and Telecommunications at ENS Cachan – Bretagne (now ENS Rennes)
2003 Licence (Bachelor’s degree) in Mathematics at Université Rennes 1
Program committees etc.
Undone Computer Science’24 (PC member), ECRTS’22 (PC member), RTSS’20 (PC member), ECRTS’20 (PC member), ECRTS’19 (program chair), RTSS’18, RTNS’18, ECRTS’18, WATERS’18, Beyond the deadline (co-organizer), EMSOFT’17, ECRTS’17, WMC’16, RTSS’16 (artifact evaluation committee member), JRWRTC’16, RTNS’16 (PC member and artifact evaluation chair), CAIRES’16 (co-organizer), ECRTS’16, (PC and artifact evaluation committee member), WATERS’16 (co-chair), TuToR’16 (co-chair), RTAS’16 (demo chair), WMC’15, ETFA’15, ECRTS’15, WATERS’15 (co-chair), DisCoTec’15 (workshops chair), MOMAC’15, WMC’14, ECRTS’14, ECRTS WiP’14, ISPA’14, FORTE’14, FMTV’14 (co-chair), MOMAC’14, FORTE/FMOODS’13, ISoLA’12 (track co-chair), ICE’11, ICE’10
Past projects
RT-proofs: Formal Proofs for Real-Time Systems – Mar. 2018 to Jul. 2022
CASERM: Design and Analysis of Reconfigurable Multi-view Embedded Systems – Jun. 2016 to Dec. 2019
CCC Research Unit: Controlling Concurrent Change (I focus on formal methods for contracting) – Apr. 2013 to 2019
Causalysis: Associate team on causality analysis for safety-critical embedded systems – 2015 to 2017
CTRC: Certified and configurable real-time components – Apr. 2015 to Sep. 2016
CERTAINTY: Certification of real-time applications designed for mixed criticality – Oct. 2012 to Oct. 2013
TIMMO-2-USE: Timing constraints for the design of distributed automotive systems – Jan. 2011 to Sep. 2012