![Andrew K. Hirsch](https://icfp18.sigplan.org/getProfileImage/andrewkhirsch/5f26de5c-c3e6-481c-b371-51405fb763a6/small.jpg?1711463888000)
Registered user since Mon 6 Nov 2017
Name:Andrew K. Hirsch
Affiliation:Cornell University
Personal website: akhirsch.science
Research interests:Categorical Semantics, Logics for Security
Contributions
ICFP 2018-profile
View general profile
View general profile