Sophie Quinton


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:

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

Comments are closed.