Farzaneh Derakhshan

CV | Google Scholar


Technical Reports

I am a Postdoctoral researcher working with Dr. Limin Jia and Dr. Stephanie Balzer at Carnegie Mellon Security and Privacy Institute (CyLab). 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 .

Apart from doing and teaching logic, I enjoy watching movies, reading books, and travelling.

Feel free to get in touch by email, if you are also excited about these topics.