M.S. Special (May 2019) Cornell University, computer science B.A. (2015) University of Wisconsin-Madison, mathematics
Advisor
Anil Nerode
Logic