This is the professional website of Andrew K. Hirsch. I am a PhD candidate at Cornell University in Ithaca, NY. I obtained my Bachelor’s of Science from The George Washington University in 2013 with majors in both Computer Science and Pure Mathematics.

My interest are mostly in programming languages and logic. I am especially interested in the denotational semantics of programming languages and type theory. However, I am also interested in the use of logic in computer science, and the foundations of computer science, mathematics, and science.

Please check out my current and former research and publications. You can also find me on the arXiv if you’re interested in reading some of my technical reports.