Shuo Pang

Shuo Pang

Postdoc

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

ID: 323907110