Andrew K. Hirsch

Andrew K. Hirsch is an Assistant Professor at the University at Buffalo, SUNY, Department of Computer Science and Engineering. He leads the Databases and Programming Languages group and focuses on programming languages for decentralized systems, particularly choreographic programming and information-flow security.

• Education:
  • Ph.D. in Computer Science (2019) from Cornell University, supervised by Ross Tate on computational effects.
  • B.S. in Computer Science and Pure Mathematics from The George Washington University.

Research Interests: His work centers on choreographic programming, a paradigm ensuring deadlock-free concurrent systems, and information-flow security for decentralized applications. He also explores computational effects and type systems in programming language theory.

Publications: Recent work includes advancements in process polymorphism (OOPSLA 2025), type-level polymorphism (PLACES 2025), and security definitions for higher-order declassification (OOPSLA 2023).

• Students:
  • Doctoral: Michael Piskozub, Keith Allen Mason
  • Masters: Alexander Bohosian, Gianna Bossoreale
  • Undergraduate: Alex Doyoon Kim, Julia Montouri
  • Recent Alumni: Ethan Canton, Tiffany Cai, Vamsi Krishna Bellam, Vincent Chan, Frank (Feng-Mao) Tsai

Projects: Leads initiatives such as Choret (open choreographies) and The Pirouette Language and Compiler, which translate choreographic programs into concurrent system implementations.