Shuo Pang

spang [at] uchicago [dot] edu

 

 

I am doing a PhD in math at the University of Chicago, under the supervision of Alexander Razborov.

Research in proof complexity and surroundings, like circuits, optimization, and SAT-solvers.

Research papers            CV            Some reading