email: [farzadhtg] at gmail.com | [Farzad.Jafar-Rhamani] at irif.fr
Physical address: Bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris. Bureau 3026
Since February 2023, I am a postdoctoral researcher at LIP6 working with Christine Tasson and Adrien Guatto. Previously and since October 2019, I was a PhD student in Computer Science at IRIF laboratory advised by Thomas Ehrhard and Alexis Saurin.
Teaching TD:
Java Programming (2019-2020) at École Polytechnique.
Architecture+Systems (2020-2021) at ENS Paris-Saclay
Discrete mathematics (2020-2021, 2021-2022, 2022-2023) at ENS Paris-Saclay
Research Interests:
I am interested in proof theory and its connections with Algebra through semantics.
Recent and not-so-recent News:
I will be defending my PhD on the 25th of January 2023. More information can be found here.
From May 2022 to July 2022, I will do a visiting researcher at the Computer Laboratory, University of Cambridge, working with Marcelo Fiore.
We're organizing a reading group on fixed point and circularity in proof theory.
Writing:
Conferences paper:
Fixpoint constructions in focused orthogonality models of linear logic. With Marcelo Fiore and Zeinab Galal. MFPS 2023. Arxiv.
Phase Semantics for Linear Logic with Least and Greatest Fixed Points. With Abhishek De and Alexis Saurin. FSTTCS 2022.
Categorical models of Linear Logic with fixed points of formulas. With Thomas Ehrhard. LICS 2021. HAL.
Unpublished Work:
Polarized linear logic with fixpoints (technical report). With Thomas Ehrhard and Alexis Saurin.
On relation between totality semantic and syntactic validity. With Thomas Ehrhard and Alexis Saurin. TLLA 2021. HAL.
On the denotational semantics of Linear Logic with least and greatest fixed points of formulas. With Thomas Ehrhard. HAL (2019).
Thesis manuscripts:
PhD: Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective.
Master 2: Induction in the Fibred Multicategory. Supervised by Noam Zeilberger and Gilles Dowek.
Master 1: Denotational semantic of linear logic with least and greatest fixpoint. Supervised by Thomas Ehrhard.
B.Sc thesis (in Persian): Formally real fields and an application of model theory in Hilbert's seventeenth problem. Supervised by Mohammad Gholamzadeh Mahmoudi.