Arbob Ahmad

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.
Incomplete Draft
Dan Licata presented our work at the 2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory


I was a TA for: