I'm a Ph.D. student in the PRL group, CS, Caltech. My advisor is Prof. Jason Hickey.

I'm interested in formal methods, logic, type theory, set theory, etc.

My master thesis concerns Formalizing Abstract Algebra in Constructive Set Theory.

Here are courses I've taken at Caltech. I TAed CS101c in 2003 and co-TAed CA134a in 2000.