Stack Overflow
Stack Overflow

nightuser
604
reputation
3
11
  • St. Petersburg, Russia
  • Member since September 20 2011
  • 77 profile views
  • Last seen May 31 '22 at 15:27

TCS PhD student.

Proof complexity.