Office: Gates 456
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.
- Belief Semantics of Authorization Logic (2013)
- Nexus Authorization Logic (NAL) Logical Results (2012)
- Strict and Lazy Semantics for Effects (2018)
In addition, I'm one of the founding TPLS Czars, which is the Theory B/Eurotheory/Semantics reading group here. In addition, I served as the PLDG Czar from 2013-2015, which is the large programming language reading group here at Cornell.