Farzaneh Derakhshan
Assistant Professor
Computer Science Department, Illinois Tech
Ph.D. Pure and Applied logic [
CV
]
Carnegie Mellon University
Address:
208F Stuart Building, 10 W 31st Street,
Illinois Institute of Technology,
Chicago, IL 60616
Email:
fd [at] iit [dot] edu
I am an assistant professor at the Illinois Institute of Technology in the computer science department. My research focuses on using formal techniques to ensure the safety and security of concurrent programs.
If you're interested in working with me, please get in touch.
Publications
-
Information Flow Control in Cyclic Process Networks. Bas van den Heuvel, Farzaneh Derakhshan, and Stephanie Balzer. European Conference on Object-Oriented Programming (ECOOP), 2024 - Accepted.
-
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, Pages 315-330, 2023. [ PDF ] [ Slides ]
-
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 Workshop on Principles of Secure Compilation , 2024. (PriSC'24)
-
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)
-
Towards End-to-End Verified TEEs via Verified Interface Conformance and Interface-Preserving Compilers.
Farzaneh Derakhshan, Zichao Zhange, Amit Vasudevan, and Limin Jia. Workshop on Principles of Secure Compilation ( PriSC 2023 ). [ Video ] -
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.
Teaching
Illinois Institute of Technology
-
Fall 2023: CS536. Science of Programming
Carnegie Mellon University
-
Logic and Proofs
-
Logic and Mathematical Inquiry
Students
-
Lang Liu (PhD) @ Illinois Tech
-
Myra Dotzel (PhD) @ CMU (co-advised with Limin Jia)
-
Godha Pallavi Bhogadi (MS) @ Illinois Tech (co-advised with Stefan Muller)
-
Narasimha Karthik G (MS) @ Illinois Tech
-
Shikhar Saraswat (MS) @ Illinois Tech