Simon Robillard

About me

I am a graduate student pursing a PhD in computer science at Chalmers University, in Gothenburg, Sweden. I study first-order theorem proving and its applications to program verification. This work is supervised by Laura Kovács and co-supervised by Wolfgang Ahrendt.

I was previously working as a research assistant and studying at Université d'Orléans in France, under the supervision of Frédéric Loulergue.

Research interests