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.

Program Visits

Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist