conf.researchr.org / Farzaneh Derakhshan
Farzaneh Derakhshan

Registered user since Mon 8 Jan 2018

Name:Farzaneh Derakhshan
Country:United States
Affiliation:Carnegie Mellon University
Personal website:https://www.andrew.cmu.edu/user/fderakhs/
Twitter:https://twitter.com/yderakhshan
Research interests:Type Theory, Proof Theory, Programming Languages

Contributions

PriSC 2023 Author of Towards End-to-End Verified TEEs via Verified Interface Conformance and Interface-Preserving Compilers within the PriSC 2023-track
APLAS 2022 Committee Member in Program Committee
ECOOP 2022 Committee Member in Program Committee within the Doctoral Symposium-track
PLMW 2021 Panelist in Panelists within the PLMW 2021-track
Panelist of Panel: Navigating PhD studies within the PLMW 2021-track