Overview

About me

I am Research Assistant Professor in the School of Electrical Engineering and Computer Science at Washington State University.

Before, I was a Postdoctoral Research Associate in the Systems Software Research Groupwithin the Bradley Department of Electrical and Computer Engineering at Virginia Tech. During this time, I led the development of BeePL, a formally verified programming language and compiler for eBPF that aims to provide machine-checked guarantees of safety, correctness, and security for systems software. I received my Ph.D. from Inria, Sophia Antipolis and Université Côte d'Azur, France, where I worked with Yves Bertot and Benjamin Grégoire as a member of the STAMP and SPLiTS research teams. My Ph.D. research focused on applying formal methods to computer security, with an emphasis on designing a formally verified secure compiler that provides machine-checked guarantees against timing-based side-channel attacks.