#### Signatures and models for syntax and operational semantics in the presence of variable binding

2nd December 2019

I am currently a postdoc in the Cogent team in Sydney. Before, I was a PhD student the Inria team Gallinette at LS2N in Nantes, supervised by Nicolas Tabareau and Tom Hirschowitz. Before, I was a computer science student at Ecole Polytechnique and graduated for the MPRI (Parisian Master in Computer Science).

My research interests mainly lie in Type Theory and Category Theory.

The source code of this page is almost completely copied and pasted from Théo's personal page.

2nd December 2019

with Xavier Leroy, at INRIA Paris

April 2016 — August 2016

with Nicolas Sangouard at University of Basel

Januar 2015 — March 2015

Peio Borthelle, Tom Hirschowitz, Ambroise Lafont

LICS 2020

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont

FSCD 2020

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

POPL 2020

Ambrus Kaposi, András Kovács, Ambroise Lafont

TYPES 2019 post-proceedings

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

FSCD 2019

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

CSL 2018

Melvyn Ho, Ambroise Lafont, Nicolas Sangouard and Pavel Sekatski (2018)

Chocola seminar (ENS Lyon) March 2019

Ambroise Lafont, Nicolas Tabareau and Tom Hirschowitz

TYPES 2018

A (rustic) graph editor in your browser

Constructing inductive-inductive datatypes from indexed inductive datatypes

Weak omega groupoids/categories in Coq

Weak omega groupoids in Agda