Simon Robillard

About me

I am a researcher in computer science, with an interest in various topics of formal methods. I am currently employed as a postdoc at IMT Atlantique, where I work within the INRIA team STACK.

In May 2019, I received a PhD in computer science from Chalmers University, under the supervision of Laura Kovács. Prior to this, I was working as a research assistant and studying at Université d'Orléans.

Research interests