Jasmin Blanchette

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

Jasmin Blanchette awarded an ERC grant for his Matryoshka project