Shuo Pang
Postdoc
Algorithms and Complexity
Universitetsparken 1
2100 København Ø
ORCID: 0000-0001-5652-9737
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