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

Publications

Activities