Please see my official homepage for information on my research on quantum information at Stanford University.

Other Resources

Some of my code is online
Undergraduate research on combining first-order logic with first-class types [paper] [slides]
Seminar talks given during my undergraduate studies in mathematics
Notes from my TA classes