Andrew K. Hirsch
Scholar

Andrew K. Hirsch

Google Scholar ID: VMu58x0AAAAJ
University at Buffalo, SUNY
choreographic programmingproof theorytype systemsauthorizationinformation flow
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
128
 
H-index
6
 
i10-index
5
 
Publications
18
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
4 items
Step in Tine: Forking Processes in Functional Choreographies
2026
Cited
0
Compositional security definitions for higher-order where declassification
2026
Cited
0
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
2025
Cited
0
Choreographies as Macros
Electronic Proceedings in Theoretical Computer Science · 2025
Cited
0
Resume (English only)
Co-authors
9 total
Ethan Cecchetti
Ethan Cecchetti
Assistant Professor of Computer Sciences, University of Wisconsin–Madison
Deepak Garg
Deepak Garg
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Steve Zdancewic
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Paul He
Paul He
University of Toronto
Co-author 5
Co-author 5
Fabrizio Montesi
Fabrizio Montesi
Professor of Computer Science, University of Southern Denmark
Co-author 7
Co-author 7
Pedro H. Azevedo de Amorim
Pedro H. Azevedo de Amorim
University of Oxford