Photo
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 aims to facilitate the design of concurrent programs by exploring the logical concepts underlying concurrency and building elegant formal methods to guarantee the correctness, e.g., safety and reactivity, and other desirable requirements, e.g., security and fault tolerance, for concurrent programs.
My current research projects include designing a modal logic to reason about systems with both under- and over-approximation, using relational logic for GPU side-channel security and secure compilation, designing type systems for intermittent computing, and behavioral types for security.
Before joining Illinois Tech, I received a Ph.D. from Carnegie Mellon University in 2021, advised by Prof. Frank Pfeninng. Following my Ph.D., I worked as a postdoctoral fellow at Carnegie Mellon University, advised by Prof. Limin Jia and Prof. Stephanie Balzer.