I am currently a PhD student at the (late) IML under the direction of Jean-Yves Girard.

If you want to contact me, here's my e-mail adress:

**Published papers:**

Analyse de dépendances et correction de réseaux de preuve; (JFLA 2014, in french) joint work with Alexis Saurin and Amina Doumane.

(English short version for the SD14 workshop)

**Drafts:**

Synchronous machines: a traced category; (2012) [slides] joint work with Adrien Guatto. (also on HAL)

**Lecture notes, slides:**

Le critère de Mogbil-Naurois; (2013, in french) the notes of my lecture on the NL-complete Mogbil-Naurois criterion for proofnets at the GdT LDP.

L'algèbre d'unification; (2013, in french) the notes of my lecture on the unification algebra at the GdT LDP.

Réseaux de preuve pour MALL; (2012, in french) the notes of my lecture on proofnets for MALL at the GdT Logique.

Déduction naturelle et calcul des séquents; (2012, in french) the notes of my lecture on natural deduction and sequent calculus at the GdT Logique.

**LaTeX:**

pn.sty; a set of TikZ macros to draw hypergraphs and proofnets