Farzaneh Derakhshan
Postdoctoral Fellow, CSD, CMU
Ph.D. Pure and Applied logic [
CV
]
Carnegie Mellon University
email: fderakhs [at] andrew [dot] cmu [dot] edu
In Fall 2023, I will join the Illinois Institute of Technology as an Assistant Professor in the computer science department. I am looking for motivated Ph.D. students. If you're interested in working with me, please get in touch.
Currently, 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.
Publications
-
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. [Accepted.]
-
Modal crash types for intermittent computing. Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich and Limin Jia. In 32nd European Symposium on Programming (ESOP), Pages 168-196, 2023. [ PDF ] [ Slides ]
-
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]
Professional Activities
Program committees
-
Program committee member of Asian Symposium on Programming Languages and Systems , 2022. (APLAS'22)
-
Program committee member of ECOOP Doctoral Symposium , 2022.
-
Program committee member of 13th Workshop on Programming Language Approaches to Concurrency- & Communication- cEntric Software , 2022. (PLACES'22)
-
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.
Other
-
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.
Teaching
Instructor
-
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.