Scholar
Andrew K. Hirsch
Google Scholar ID: VMu58x0AAAAJ
University at Buffalo, SUNY
Citations & Impact
Citations
117
H-index
5
i10-index
4
Publications
18
Co-authors
9
list available
Contact
Publications
Resume (English only)
Academic Achievements
- - Published 'Choreographic Quick Changes: First-Class Location (Set) Polymorphism' in OOPSLA 2025
- - Published 'Choreographies as Macros' in PLACES 2025
- - Published 'Alice or Bob?: Process Polymorphism in Choreographies' in the Journal of Functional Programming
- - Published 'Semantics for Noninterference with Interaction Trees' in ECOOP 2023
- - Published 'Compositional Security Definitions for Higher-Order Where Declassification' in OOPSLA 2023
Research Experience
- - Postdoc at the Max Planck Institute for Software Systems (MPI-SWS), working with Deepak Garg on the Foundations of Security group
Education
- - Ph.D., 2019, Cornell University, Advisor: Ross Tate, Focus: foundations of programming languages, particularly on the theory of computational effects
- - B.S. in Computer Science and Pure Mathematics, The George Washington University
Background
- - Assistant Professor in the Department of Computer Science and Engineering at the University at Buffalo, SUNY
- - Research interests: programming languages for decentralized systems, choreographic programming, information-flow security, etc.
- - Leads the Databases and Programming Languages group
