Proof-Search control in Interaction with domain-specific methods

funded by ANR as a "Jeunes chercheurs" grant.

October 2009 to September 2013

Mahfuza Farooque, PhD student

Chantal Keller, PhD student

Stéphane Graham-Lengrand, CR CNRS

Assia Mahboubi, CR INRIA

Laboratoire d'Informatique de l'X, UMR 7161 Équipes Typical et Parsifal