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
1st Year PhD Candidate, advised by Andrew Hirsch
Computer Science and Engineering
Mason Lary
3rd Year PhD Candidate, advised by Andrew Hirsch
Computer Science and Engineering
Michael Piskozub
Graduate Assistant 10m
1st Year PhD Candidate, advised by Andrew Hirsch
Computer Science and Engineering