Quinton, Sophie (1983-.... ; informaticienne)
France
Date de naissance
1983
Langues d'expression
français
Titulaire d'un doctorat en Informatique (Grenoble, 2011)
Chargée de recherche au sein de l'équipe "Sound Programming of Adaptive Dependable Embedded Systems" (Spades) de l'Inria Grenoble
Chargée de recherche au sein de l'équipe "Sound Programming of Adaptive Dependable Embedded Systems" (Spades) de l'Inria Grenoble
Sophie Quinton est chargée de recherche à Inria Grenoble Rhône-Alpes depuis 2013. Elle a préparé sa thèse de doctorat à Verimag (Grenoble) puis passé près de trois ans en postdoctorat à TU Braunschweig (Allemagne). Ses travaux de recherche concernent les méthodes formelles pour la conception et la vérification de systèmes embarqués, et plus particulièrement les aspects temps-réel.
Disciplines liées à ses interventions
Vidéos
Ordonnancement pour systèmes temps réel : conception et vérification
Quinton
Sophie
Un système informatique est dit "temps réel" dès qu'il doit répondre à un stimulus dans un délai donné. Les système informatiques embarqués dans les avions et les voitures sont ainsi soumis à des