Jan Menz

I am a Ph.D. student supervised by Deepak Garg. I am working in the intersection of security and programming languages. 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 about the semantics of type systems for higher-order languages enforcing declassification policies. My contact details can be found here.