Andrew Hirsch

PhD

Andrew Hirsch.

Andrew Hirsch

PhD

Andrew Hirsch

PhD

Research Topics

Programming languages; epistemic logic; type theory; concurrency; language-based security; information-flow control

Biography Teaching Research

Education

  • PhD, Computer Science, Cornell University, 2019

Awards