photo

Bâtiment 650 (Ada Lovelace)
Université Paris-Saclay
F-91405 ORSAY Cedex
FRANCE

solene [dot] moreau [at] inria [dot] fr

About Publications Tools Talks Teaching

Solène MOREAU

I am a research engineer at Inria in the Toccata team, working on formal verification of properties of programs in the ProofInUse consortium under the supervision of Claude MARCHÉ.

More precisely, I am working on providing software verification tools based on the Why3 platform to industry users.

Before that, I was a PhD student under the supervision of Stéphanie DELAUNE and David BAELDE in the SPICY team (formerly EMSEC team) at IRISA in Rennes, working on formal methods for the verification of security and privacy in communication protocols.

I defended my PhD on November 18, 2021 (manuscript and defense slides).

Publications

Tools

Talks

Teaching

2018-2019

2019-2020

2020-2021

Last update: June 8, 2022.