Shuo Pang

• Presentation
• Activities

I am a postdoc researching in proof complexity and surroundings, like circuit complexity, optimization, and SAT-solvers. My host is Professor Jakob Nordström.