Andrew Hirsch
Assistant Professor at University at Buffalo
Buffalo, New York, United States
Summary
👤
Senior🎓
Top SchoolAndrew Hirsch is an assistant professor of computer science at the University at Buffalo who applies programming-language theory to practical problems in concurrency, security, and decentralization. With a PhD from Cornell and a three-year postdoc at the Max Planck Institute for Software Systems, he blends deep formal training in type systems and logics with hands-on research on language support for distributed systems. His work sits at the intersection of theory and systems engineering, aiming to make secure, concurrent abstractions practical for real-world decentralization. Over 14 years in academia and research, he has published on authorization semantics and brings a rare combination of proof-theoretic rigor and implementation-driven focus. Based in Buffalo, NY, he mentors students and builds tools that translate advanced type-theoretic ideas into usable software infrastructure.
14 years of coding experience
4 years of employment as a software developer
Bachelor of Science (B.S.), Mathematics and Computer Science, Bachelor of Science (B.S.), Mathematics and Computer Science at The George Washington UniversityDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Cornell University
English
Stackoverflow
36reputation
261reached
2answers
0questions
Github Skills (18)
coq6
jekyll4
video-chat2
golang2
rest-api2
rest2
restful2
chat2
windows1
linux1
virtual-machine1
networking1
transformer1
virtual1
cpp1
Programming languages (5)
Github contributions (5)
akhirsch/bibliography
Jul 2019 - Dec 2024
Contributions:61 pushes, 9 branches in 5 years 6 months
UB-CSE-513/410-510-2025sp-notes
Dec 2024 - Mar 2025
Contributions:21 reviews, 14 PRs, 23 pushes in 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.