François THIRÉ

About me

I am a PhD student since the 1st of October 2016 at the Ecole Normal Supérieure de Cachan under the supervision of Gilles Dowek at the LSV and Stéphane Graham-Lengrand at the LIX.

Research

Papers

2019

2018

Tools

Logipedia: An encylopedia of formal proofs

Contributions are welcome (drop me an email if you are interested) :

Universo

A tool to play with universes for systems encoded in Dedukti

Dkmeta

A wrapper around the rewrite engine of Dedukti. The main use of Dkmeta is to write program transformations from Dedukti to Dedukti.

Dkprune

A tool to prune Dedukti files with choosen theorems.

Teaching (fr)

2018-2019

Architecture/Système

See the webpage

Projet Logique

See the webpage

2017-2018

Programmation 1

See the webpage

Programmation 2

See the webpage

Projet Logique

See the webpage

2016-2017

Programmation 1

See the webpage

Projet Logique

See the webpage

About LSV

Contact

Address
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
CM-01
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
francois (dot) thire (at) lsv.fr