Education : Ph.D. University of California, Berkeley, 2015

Main Research Group: Logic