Andrew K. Hirsch

Official

I am Andrew K. Hirsch, an Assistant Professor in the Department of Computer Science and Engineering at the University at Buffalo, SUNY. There, I help lead the Databases and Programming Languages group. My research is on programming languages for decentralized systems. My focus is on choreographic programming, a programming paradigm for message-passing concurrency. I also work on information-flow security, and on other, related, ideas.

Before I came to Buffalo, I was a postdoc at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany. I worked with Deepak Garg in the Foundations of Security group. I earned my Ph.D. in 2019 from Cornell University in Ithaca, NY, USA. There, I worked with Ross Tate on programming-language foundations, focusing on the theory of computational effects. Before that, I attended The George Washington University in Washington, DC, where I earned a Bachelor’s of Science degree in Computer Science and Pure Mathematics.

News

Students

Doctoral

Masters

  • Halle Bryant

    • Undergraduate

    • Julia Montouri
    • Jacqueline Parke
    • Sam Carillo
    • Sean Gaygen
    • Owen Cavenaugh

    Recent Alumni

    Gianna Bossoreale
    Graduated on 2025-12-15 with a MS.
    Audvey Taheri
    Alex Doyoon Kim
    Graduated on 2025-12-15 with a BS.
    Alexander Bohosian
    Graduated on 2025-07-01 with a MS.
    Ethan Canton

    Projects

    You can see all of the projects I have been involved with here.

    Recent Projects

    The Pirouette Language Compiler
    Choret: Choreographies as Macros
    Open Choreographies

    Publications

    Below is a list of my most recent publications. You can view all of my publications here.

    Recent Publications