Anand Subramanian

I am a software engineer based in the San Fracisco Bay Area.
More generally, I am a student of computer science.
When I am not thinking about work in software engineering or computer science,
I teach a variety of subjects pro bono and ride my bike.

I completed my Master of Science degree in computer science at Carnegie Mellon University
under the tutelage of Frank Pfenning.
I am interested in logic, type systems, programming languages,
compilers and concurrency. To find out more about my research, see
this page