Farzaneh Derakhshan

Postdoctoral Fellow, CSD, CMU

Ph.D. Pure and Applied logic

Carnegie Mellon University

email: fderakhs [at] andrew [dot] cmu [dot] edu

I am a Postdoctoral researcher working with Dr. Limin Jia and Dr. Stephanie Balzer at Computer Science Department, Carnegie Mellon University. I am interested in verifying the safety and security of concurrent programs using formal techniques.

I received my Ph.D. in Pure and Applied Logic at Carnegie Mellon University, advised by Prof. Frank Pfenning . My Ph.D. dissertation was focused on the computational interpretation of substructural logics. Particularly, I worked on circular proofs and their correspondence with recursive and co-recursive session-typed processes.

Before coming to CMU, I worked on the uniform interpolation property in different non-classical logics including substructural logics and provability logic .


  • Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers . Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, and Limin Jia. 36th IEEE Computer Security Foundations Symposium, 2023. [Conditionally accepted.]

  • Session logical relations for noninterference. Farzaneh Derakhshan, Stephanie Balzer, and Limin Jia. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Pages 1-14. IEEE 2021. [ PDF ] [ TR ]

  • Circular proofs as session typed processes: a local validity condition. Farzaneh Derakhshan and Frank Pfenning. In Logical Methods in Computer Science (LMCS) 18, 2022. [ PDF ]

  • Human-centered automated proof search. Wilfried Sieg and Farzaneh Derakhshan. In Journal of Automated Reasoning 65.8, 1153-1190, 2021. [ PDF ]

  • Uniform interpolation in substructural logics. Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono. In The Review of Symbolic Logic 7 (3), 455-483, 2014. [ PDF ]

Manuscripts Under submission

  • Recursive Session Logical Relations. Farzaneh Derakhshan and Stephanie Balzer [PDF]

Thesis and Technical reports

  • Session-Typed Recursive Processes and Circular Proofs. Farzaneh Derakhshan , PhD Dissertation, CMU. [ PDF ]

  • Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs . Farzaneh Derakhshan and Frank Pfenning. [ PDF ]

Professional Activities

Program committees

Selected Talks

  • Noninterference for session-typed processes.
    Farzaneh Derakhshan, Stephanie Balzer, and Limin Jia. 16th Workshop on Programming Languages and Analysis for Security (
    PLAS 2021 ). [ Slides ]

  • Infinitary proof theory of first order linear logic with fixed points.
    Farzaneh Derakhshan. ASL North American Annual Meeting (virtual), Special Session on Proof Theory, March 2020. [
    Slides ] [ Video ]

  • Session-Typed Recursive Processes and Circular Proofs.
    Farzaneh Derakhshan. PhD proposal, Philosophy Department, Carnegie Mellon University. Advised by Frank Pfenning, May 2020. [
    Slides ]

  • Computational interpretation of substructural proofs.
    Farzaneh Derakhshan, ASL North American Annual Meeting. Logic and Philosophy Special Session, May 2018.


  • PhD Admission Committee, Philosophy department, CMU, 2019-2020.

  • Faculty Search Committee (for the position of assistant professor in mathematical logic), Philosophy department, CMU, 2019-2020.



  • Logic and Proofs , Carnegie Mellon University.

  • Logic and Mathematical Inquiry , Carnegie Mellon University

Teaching assistant

  • Types and Programming Languages - Frank Pfenning, Carnegie Mellon University.

  • Undecidability and Incompleteness - Wilfried Sieg , Carnegie Mellon University.

  • Formal Logic - Steve Awodey, Carnegie Mellon University.