Skip to main content
MathOverflow
Kaveh's user avatar
Kaveh's user avatar
Kaveh's user avatar
Kaveh
  • Member for 14 years
  • Last seen more than a month ago
Profile Activity
Stats
5,422
reputation
127k
reached
43
answers
17
questions
Communities
View all
About

Software Engineer at Google.

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.

Badges
View all badges
2
gold badges
36
silver badges
52
bronze badges
Top tags
View all tags
114
Score
31
Posts
52
Posts %
83
Score
25
Posts
42
Posts %
58
Score
12
Posts
20
Posts %
25
Score
5
Posts
8
Posts %
25
Score
5
Posts
8
Posts %
23
Score
6
Posts
10
Posts %
Top posts
View all questions and answers
97
Can we cover the unit square by these rectangles?
Aug 1, 2010
60
Is the Riemann Hypothesis equivalent to a $\Pi_1$ sentence?
Jul 14, 2010
27
Is there a syntactic characterization for BPP, BQP, or QMA?
Aug 11, 2010
21
What is a sieve and why are sieves useful?
Mar 17, 2014
21
History of the notation for substitution
Jun 26, 2016
16
Non-constructive proofs vs. efficient algorithms
Apr 5, 2013
15
Razborov's response to Almost Natural Proofs
Jul 26, 2010
15
Busy Beaver modulo 2
Jul 23, 2013
14
What are the most important results (and papers) in complexity theory that every one should know?
Aug 4, 2010
13
Are there natural examples of mathematical statements which follow from consistency statements?
Jul 15, 2010
Top Meta posts
3
24
37
Big list of feature requests and suggestions for a fantasy MO 3.0
32
Are professional Physicists, Computer Scientists, Engineers, Economists... not allowed to ask questions at MO?
20
Remove the option to migrate questions anywhere
17
Big list of feature requests and suggestions for a fantasy MO 3.0
15
Frequently Asked Questions: MathOverflow FAQ
Top network posts
View all network posts
465
What is the definition of P, NP, NP-complete and NP-hard?
253
I believe I have solved a famous open problem. How do I convince people in the field that I am not a crank?
231
What is the definition of P, NP, NP-complete and NP-hard?
131
Major unsolved problems in theoretical computer science?
124
Advice on good research practices