Fifth-year PhD student in Computer Science at
Carnegie Mellon University
Advisor: Robert Harper
Office: 7001 Gates-Hillman Center
I'm currently working on a project that models information flows in
imperative programs with substructural epistemic logic.
This is joint work with
Robert Harper.
Current Draft
Previously I worked on a project that used Andreoli's notion of focusing as
part of a decision procedure for βη-equality
in the λ-calculus with finite product and coproduct
types.
This was joint work with Dan Licata
and Robert Harper.
Abstract
Incomplete Draft
Dan Licata
presented our work at the
2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory
I was a TA for: