I am a Ph.D. student in Computer Science Department at Carnegie Mellon, currently working on logic and programming language theory under the supervision of Robert Harper. I was previously advised by Jeannette Wing and Avrim Blum.
- Social Network Logic with Jeannette Wing
Understanding epistemic consequences in social networking sites through focused linear logic.
- Homotopy Type Theory
- (Random Fun Topics in Programming Language Theory)
- Correctness of Compiling Polymorphism to Dynamic Typing with Robert Harper (submitted). The draft (PDF) and full proofs (PDF).
We presented the first correctness proof of the usual implementation of polymorphism in dynamic typing.
- Teaching Assistant of 15814: Type Systems for Programming Languages, Fall 2012.