Louise Dubois de Prisque

PhD student, Inria Saclay

Presentation

Hello everyone! I am Louise Dubois de Prisque, a PhD student member of the Deducteam at the LMF located at the ENS Paris-Saclay.

My supervisors are Chantal Keller and Valentin Blot.

The subject of my thesis is to improve the automation of the Coq proof assistant by writing certifying compositional transformations from the logic of Coq to a simpler logic which can be handled by automatic provers. To achieve this goal, my supervisors, a former postdoc Pierre Vial and me are developing a Coq plugin called Sniper.

Published papers

Talks

Teaching

PhD Thesis

A version of my manuscrit is available here (in French)

Master’s Thesis

The link is available here (in French)