Overview
Advisor
Research Focus
Logic
Department Homepage
College Header Logos Block
M.S. Special (May 2019) Cornell University, computer science
B.A. (2015) University of Wisconsin-Madison, mathematics