Andrew Hirsch

Andrew Hirsch is an Assistant Professor in the Department of Computer Science and Engineering at the University at Buffalo, School of Engineering and Applied Sciences. His research focuses on programming languages, epistemic logic, type theory, concurrency, and security mechanisms such as language-based security and information-flow control. He earned his PhD in Computer Science from Cornell University in 2019.

His research interests emphasize formal methods for secure and concurrent systems, with notable contributions to choreographies, session types, and compositional security definitions. Recent work includes projects funded by grants like the SHF: Small grant for Open Choreographies. He maintains an active Google Scholar profile and a personal website detailing his research and publications.

No awards are explicitly listed in his profile. His advising and grants include contributions to the NSF-funded SHF project (2025) and other collaborative efforts in secure software semantics. He is affiliated with the Department’s research groups focused on programming languages and formal methods.