Jasmin Blanchette

LAUREAT 2016 - Membre de l’équipe-projet VeriDis
Jasmin Blanchette
© Inria Nancy - Grand Est

Jasmin Blanchette, lauréat 2016 de la bourse ERC - Starting Grant travaille sur la preuve interactive et les assistants de preuve.

Les outils automatiques sont puissants mais restreints à des logiques peu expressives alors que les assistants de preuve ont des logiques plus riches et sont généralement plus fiables mais sont moins bien automatisés. J’aimerais combiner les atouts des deux types de logiciels, tout en en minimisant les défauts.