Quentin Stievenart
E-mail: qstieven@vub.ac.be |
Address: Vrije Universiteit Brussel Faculty of Sciences, DINF – SOFT Pleinlaan 2 B-1050 Brussels, Belgium |
![]() |
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.
Publications
My publications can be found here.