Home
Email: akhirsch@mpi-sws.org
Office: Campus E1 5 509
Research Interests
My research focuses on the uses of semantics in computer science, especially the denotational semantics of programming languages, and the foundations of security. I work with Deepak Garg on these topics.
Research Projects
- Authorization Logic
- First-Order Logic for Flow-Limited Authorization
- Semantics of Type-And-Effect Systems
Publications
- Belief Semantics of Authorization Logic (2013)
- First-Order Logic for Flow-Limited Authorization (2020)
- Nexus Authorization Logic (NAL) Logical Results (2012)
- Strict and Lazy Semantics for Effects (2018)
Activities
- I chaired the first Eastern Great Lakes Programming Languages and Systems Symposium in 2019.
- I served one of the founding TPLS Czars from 2014-2018, which is the Theory B/Eurotheory/Semantics reading group at Cornell.
- I served as the PLDG Czar from 2013-2015, which is the large programming language reading group at Cornell.