I am currently a Postdoc at the Mathematics department of the University of Ottawa.

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

**Published papers:**

Logic Programming and Logarithmic Space; (APLAS 2014) [slides] joint work with Clément Aubert, Paolo Pistone and Thomas Seiller.

Unification and Logarithmic Space; (RTA/TLCA 2014) joint work with Clément Aubert.

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:**

Memoization for Unary Logic Programming: Characterizing PTIME; (submitted to LICS 2015) joint work with Clément Aubert and Thomas Seiller.

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

**PhD Thesis: On the Resolution Semiring** (revisions to come)

Screen version in color, for displaying.

⤷ [Slides] of the defense.

**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