Quentin Stievenart

E-mail: qstieven@vub.ac.be Address:
Vrije Universiteit Brussel
Faculty of Sciences, DINF – SOFT
Pleinlaan 2
B-1050 Brussels, Belgium
qstieven's picture

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.