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 to reason compositionally about the semantics of declassification in higher-order languages using logical relations and related techniques from programming languages research. My contact details can be found here.