Jan Menz

About me

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.