I am a Ph.D. student supervised by Deepak Garg. I am working in the intersection of programming languages and information-flow security. In particular, I study type systems for declassification (the deliberate downgrading of secret or sensitive information) and their semantics. More specifically, I study how logical-relations techniques can allow us to reason compositionally about the semantics of declassification in higher-order languages. My contact details can be found here.
"Compositional Security Definitions for Higher-Order Where Declassification"
together with Andrew Hirsch, Peixuan Li and Deepak Garg,
accepted for publication at OOPSLA 2023