Shuo Pang
Postdoctoral Fellow, University of Copenhagen
Shuo Pang is a postdoc at the University of Copenhagen hosted by Jakob Nordström. He got his PhD in mathematics from the University of Chicago in 2022 under the supervision of Alexander Razborov. His research is in proof complexity and related areas, such as optimization and SAT-solving.