nightuser

664
reputation
4
13

TCS PhD student.

Proof complexity.