Skip to content

Scientist · Computer Science

Sophie Quinton

Centre Inria de l'Université Grenoble Alpes, Montbonnot-Saint-Martin, France

iD0000-0003-1838-2345

Citations, last 5 years: 34
Works, last 5 years: 20
h-index: 20
Citations, all time: 942
In Computer Science: #207,808

Research topics

Formal Methods in Verification56Computer Science
Real-Time Systems Scheduling47Computer Science
Embedded Systems Design Techniques33Computer Science
Logic, programming, and type systems19Computer Science
Advanced Software Engineering Methodologies14Computer Science

Recent works

Discussion

Ask Sophie about their research. When the scientist claims this card, they will see your question.

Start a discussion