Shuo Pang

• Presentation
• Research outputs
• Prizes
• Activities

I am a postdoc researching in proof complexity and surroundings. You can also reach me at https://shuopang.net