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.
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
This was joint work with Dan Licata and Robert Harper.
Dan Licata presented our work at the 2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory
I was a TA for: