Photo

Farzaneh Derakhshan
 Research Assistant Professor
Department of Computer Science, Northwestern University
 Ph.D. Pure and Applied Logic [CV]
Carnegie Mellon University
 Address: Mudd Hall, Room 3512, 2233 Tech Drive,
Northwestern University, Evanston, IL 60208
 Email: [lastname][dot][firstname] [at] gmail [dot] com

I am a research assistant professor in the Department of Computer Science at Northwestern University. My research aims to facilitate the design of concurrent programs by exploring the logical concepts underlying concurrency and building elegant formal methods to guarantee correctness, e.g., safety and reactivity, and other desirable requirements, e.g., security and fault tolerance. Increasingly, my work goes beyond yes-or-no guarantees: I study how much information a program leaks rather than only whether it leaks, and I design logics that combine testing and verification, so that the level of assurance a program has can be expressed and quantified. My current research projects include quantitative information flow for probabilistic session types, quantitative reasoning about side channels in GPU kernels using relational logic, and a modal logic for quantified under- and over-approximation.
Before joining Northwestern, I was an assistant professor at the Illinois Institute of Technology. I received my Ph.D. from Carnegie Mellon University in 2021, advised by Prof. Frank Pfenning, and then worked as a postdoctoral fellow at Carnegie Mellon University, advised by Prof. Limin Jia and Prof. Stephanie Balzer.

News