Arbob Ahmad's Home Page

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Arbob Ahmad's Home Page

Arbob Ahmad

Third-year PhD student in Computer Science at Carnegie Mellon University
Advisor: Robert Harper
Office: 7001 Gates-Hillman Center

Research:

I'm currently working on a project that uses Andreoli's notion of focusing as part of a decision procedure for βη-equality in the λ-calculus with finite product and coproduct types.
This is joint work with Dan Licata and Robert Harper.
Abstract

Dan Licata presented our joint work with Robert Harper at the 2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory

Teaching:

I was a TA for:

15-150: Fundamentals of Functional Programming (Spring 2011)

15-312: Principles of Programming Languages (Spring 2009)