Anand Subramanian

Contact: asub...@andrew.cmu.edu

---

I am a fifth year masters student in the Computer Science Department at Carnegie Mellon University. I am advised by Frank Pfenning.
I am interested in logic, type systems, programming languages, compilers and concurrency. I also like to teach.

Research

My master thesis is on Compiler Generation for Substructural Operational Semantics.
I am also implementing a substructural operational semantics for C0 that can be executed using Celf.

Teaching

I have been a TA for the following courses:
Principles of Imperative Programming (Summer 2012)
Compiler Design and Implementation (Fall 2010)

---

This website is under construction. Last updated on 2012-12-05.