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

Courses

  • CSE 505—Fundamentals of Programming Languages (Fall 2024, Fall 2023, Fall 2022)
  • CSE 704—Seminars (Spring 2024, Spring 2023)