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 : intuitionistic logic, proof equivalence, linear logic, game semantics, higher-order logics, System F;
• Graphical syntaxes : proof nets, combinatorial proofs;

To contact me :

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