Home

Email: akhirsch@cs.cornell.edu
Office: Gates 456

Research Interests

My research focuses on the uses of semantics in computer science, especially the denotational semantics of programming languages, systems, and logics. My advisor is Ross Tate; we are interested in the semantics of effects.

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 (2019)
• 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.