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

  • Alexander Bohosian
  • Gianna Bossoreale

    • Undergraduate

    • Alex Doyoon Kim
    • Julia Montouri

    Recent Alumni

    Ethan Canton
    Tiffany Cai
    Graduated on 2025-06-01 with a BS.
    Vamsi Krishna Bellam
    Graduated on 2025-06-01 with a MS.
    Vincent Chan
    Graduated on 2025-01-01 with a BS.
    Now at University at Buffalo, SUNY (as a Ph.D. student in Qianchuan Ye's group).
    Frank (Feng-Mao) Tsai
    Graduated on 2024-09-01 with a MS.
    Now at University of Gothenberg (as an MSc student in Math).

    Projects

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

    Recent Projects

    Choret
    Open Choreographies
    The Pirouette Language Compiler

    Publications

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

    Recent Publications