Theoretical Computer Science
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki
  • Member for 8 years
  • Last seen more than 1 year ago
  • Tehran, Iran
Profile Activity
Stats
332
reputation
3k
reached
2
answers
9
questions
Communities
About

I'm a Ph.D. student in mathematics. My research interests are Mathematical logic and Complexity Theory.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
11
bronze badges
Top tags
View all tags
1
Score
1
Posts
9
Posts %
0
Score
8
Posts
73
Posts %
0
Score
5
Posts
45
Posts %
0
Score
4
Posts
36
Posts %
0
Score
2
Posts
18
Posts %
0
Score
2
Posts
18
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
4
Computational Complexity of cycle double cover
Feb 14, 2017
question
3
Linear Time Hierarchy and Circuit complexity
Jan 6, 2016
question
3
Complexity of counterexample function and bounded arithmetic
Mar 21, 2016
question
3
Complete problems for $(NP\cap CoNP)/poly$ class and universal representations
Jun 8, 2021
question
2
Upper bounds on the circut depth
Jun 25, 2019
question
1
Switching lemma for polynomials over $\mathbb{F}_2$
Jun 28, 2019
question
1
Complexity class name for the class of languages that are $\Sigma^1_1$-definable over finite domains
Jan 14, 2021
question
1
On collapsing the Exponential time hierarchy
Nov 11, 2017
question
1
Kolmogorov generic oracle
Feb 4, 2018
answer
1
Constructive proof of the Halting Problem
Jan 18, 2016
Top network posts
View all network posts
14
Is there good reference for proof complexity?
13
Intutionistic Robinson Arithmetic
10
Collapsing the Linear Time Hierarchy and finite axiomatizability of bounded arithmetic
10
Complexity of induction formulas in proof theoretic ordinals
8
Kripke models of $HA$

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.