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

Main Research Group : Logic