Jasmin Blanchette

2016 - Veridis project-team
Jasmin Blanchette
© Inria Nancy - Grand Est

Jasmin Blanchette, 2016 winner of an ERC – Starting Grant, works on interactive theorem proving, proof assistants.

Automated tools are powerful but restricted to less expressive logic while proof assistants offer richer logic and are generally more reliable but are less well automated. I would like to combine the advantages of the two types of software, while minimising their defects.

Read the complete interview