PhD Student at
Department of Computer Science,
University of California, Santa Barbara.

I am currently a member of PL λab directed by Ben Hardekopf. I am working on finding bugs in abstract interpretation-based static analyzers. I am also TAing CS 162 (Programming Languages) taught by Ben Hardekopf during Fall ‘18.

Office hours (Fall ‘18)

My office hours are Thursdays 2.15-3.15pm in the TA office in Trailer 936. You can also email me to arrange additional office hours if those times don’t work for you.

Past TA Work: