Nom Bauer Prénom Esaie Téléphone Bureau 3033 Mail Esaie.Bauer@irif.fr Page web https://www.irif.fr/~ebauer/ I am a third year PhD student under the supervision of Alexis Saurin (Université Paris Cité, CNRS, IRIF, INRIA). To visit me: At IRIF, in office 3026. Recherche I'm interested in proof theory and its link with programming languages. Currently, I'm interested in infinite proof theory for Linear Logic. I'm co-organising the INRIA team Picube's seminar: Formath. Formath is a seminar about proof assistants and formalization. I'm also co-organising the Non-permanent members’ seminar. Publications & Workshops Chiralités et exponentielles: un peu de différentiation, with Marie Kerjean, JFLA 2019 (national conference) preprint. Nous donnons une sémantique catégoriqueà la logique linéaire différentielle finitaire et polarisée. Cette axiomatique donne un cadreà des modèles polarisés précédemment misà jour dans les espaces vectoriels topologiques. Elle s'appuie sur la notion de chiralités et les modèles non-polarisés de la logique linéaire différentielle munis d'un biproduit. Super Exponentials in Linear Logic, with Olivier Laurent, Linearity - TLLA 20 preprint Following the idea of Subexponential Linear Logic and Stratified Bounded Linear Logic, we propose a new parameterized version of Linear Logic which subsumes other systems like ELL, LLL or SLL, by including variants of the exponential rules. We call this system Superexponential Linear Logic (superLL). Assuming some appropriate constraints on the parameters of superLL, we give a generic proof of cut elimination. This implies that each variant of Linear Logic which appears as a valid instance of superLL also satisfies cut elimination. Provability of Functionnal Reactive Programming type system, with Alexis Saurin - 2021 Workshop on Proof Theory and its Applications preprint Presentations Presentation at Picube team - slides Presentation at 2021 Workshop on Proof Theory and its Applications Proof and Society Workshop - slides Presentation at SeSTeRce - slides