Welcome to my personal page

I'm Dylan Bettendroffer, a Ph.D student in proof theory. I'm currently studying at University of Sussex in the FoSS group under the supervision of Matteo Acclavio and Giulio Guerrieri.

My main research interest lies in the problem of proof identity, and I'm currently writing my doctoral thesis on the study of that problem for the case of System F (second-order impredicative intuitionistic logic) through the use of various graphical syntaxes (proof nets, Hyland-Ong games, combinatorial proofs...).

Research interests

• Proof theory : game semantics, intuitionistic logic, linear logic, proof equivalence, System F;
• Graphical syntaxes : proof nets, combinatorial proofs;

To contact me :

let name = d.bettendroffer in
   let host = sussex.ac.uk in
   name@host