I'm an EECS PhD student at UC Berkeley interested in reasearch at the intersection of learning, formal methods, and game theory.