PhD student in programming language theory at Carnegie Mellon University