Quentin Stievenart

Job Description

I am working on the GRAVE project (Gradual Verification of Event-Driven Programs). I also give the exercise sessions for the course Research Topics in Software Quality.

Research Description

My research is focused towards static analysis of higher-order programs using abstract interpretation. I have interests such as analyzing full Javascript programs and analyzing concurrent languages.


My publications can be found here.