Kaveh
3,502
reputation
26
37
Ph.D. in Computer Science, University of Toronto, Department of Computer Science, Theory Group.
Thesis: "Uniformity and Nonuniformity in Proof Complexity", 2016
Ex-moderator on cstheory.