Andrew Hirsch
PhD
Research Topics
Programming languages; epistemic logic; type theory; concurrency; language-based security; information-flow control
Students
Keith Allen
Teaching Assistant 10 Month
3rd Year PhD Candidate, advised by Andrew Hirsch
Computer Science and Engineering
Mason Lary
5th Year PhD Candidate, advised by Andrew Hirsch
Computer Science and Engineering
Michael Piskozub
Research Project Assistant
3rd Year PhD Candidate, advised by Andrew Hirsch
Computer Science and Engineering