Write a Blog >>

Registered user since Mon 6 Nov 2017

Name: Andrew Hirsch

Affiliation: Cornell University

Personal website: akhirsch.science

Research interests: Categorical Semantics, Logics for Security

Contributions

POPL 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Show activities from other conferences

Using general profile