Scholar
Andrew K. Hirsch
Google Scholar ID: VMu58x0AAAAJ
University at Buffalo, SUNY
choreographic programming
proof theory
type systems
authorization
information flow
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
128
H-index
6
i10-index
5
Publications
18
Co-authors
9
list available
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
Co-authors
6 total
Ethan Cecchetti
Assistant Professor of Computer Sciences, University of Wisconsin–Madison
Deepak Garg
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Paul He
University of Toronto
Fabrizio Montesi
Professor of Computer Science, University of Southern Denmark
Pedro H. Azevedo de Amorim
University of Oxford
