email: [farzadhtg] at, [farzad.jafarrahmani] at

Physical address: Centre-Lagrange, 103 Rue de Grenelle, 75007 Paris.

Since April 2023, I am a researcher in Lagrange Mathematics and Computing Research Center (LMCRC), Huawei

Previously, I was a postdoctoral researcher at LIP6 working with Christine Tasson and Adrien Guatto. And before all that and since October 2019, I was a PhD student in Computer Science at IRIF laboratory advised by Thomas Ehrhard and Alexis Saurin.

Research Interests:

I am interested in proof theory and its connections with Algebra through semantics.

Recent and not-so-recent News:


Conferences paper:

Unpublished Work:

Thesis manuscripts: