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

Publications

Activities