I'm an EECS PhD student at UC Berkeley interested in reasearch at the intersection of learning, formal methods, and game theory.
You can download a PDF copy of my CV here.