About me

I am a first year PhD student under the supervision of Delia Kesner, IRIF and Giulio Guerrieri, Huawei Research, working on Solvability in Intuitionistic and Classical Call-by-Push-Value.

My research interests lie in $\lambda/\lambda\mu$-calculus, explicit substitutions, reduction strategies, quantitative typing, inhabitation, solvability, approximants, linearity, Taylor expansion …

Also, I am (occasionally) co-organizer of IRIF Cake^TM

Past projects

• $\,$L2 $\;-\;$ Regression and Classification Problems for Machine Learning, $\;$ under directions of Pierre Latouche.
• $\,$L3 $\;–\;$ Curry-Howard Correspondence and Linear Logic, $\;$ under directions of Jules Chouquet and Léo Stefanesco.
• M1 $\;–\;$ Inhabitation in $\lambda\mu$-Calculus, $\;$ under directions of Delia Kesner.
• M2 $\;–\;$ Inhabitation in Call-by-Push-Value (Report), $\;$ under directions of Delia Kesner et Giulio Guerrieri.

Talks

• 2021 GT SCALP $\;–\;$ Inhabitation in Call-by-Push-Value (Slides)

Contact