Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
Theoretical Computer Science
user avatar
user avatar
user avatar
6005
  • Member for 9 years
  • Last seen more than a week ago
Profile Activity
Stats
842
reputation
4k
reached
3
answers
4
questions
Communities
View all
About

Current:

  • PhD Computer Science, University of Pennsylvania (expected 2022)

Past:

  • ScB Mathematics - Computer Science, Brown University (2016)
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
15
bronze badges
Top tags
View all tags
25
Score
1
Posts
14
Posts %
4
Score
2
Posts
29
Posts %
4
Score
2
Posts
29
Posts %
4
Score
2
Posts
29
Posts %
1
Score
3
Posts
43
Posts %
1
Score
3
Posts
43
Posts %
Top posts
All Questions Answers
Score Newest
answer
25
Turing award papers
Dec 6, 2019
question
21
Decidability of diophantine equations over {=, +, gcd}
Dec 26, 2020
question
10
What class of languages is recognized by finite-state automata with $k$ heads?
Oct 4, 2019
question
7
Complexity class of efficient streaming algorithms
Apr 23, 2020
question
4
What is FO(REGULAR)? (The descriptive complexity equivalent of NC1)
Apr 16, 2020
answer
4
2DFA to 1DFA - Converting two way deterministic finite automata to one way deterministic finite automata
Apr 25, 2020
answer
1
What is FO(REGULAR)? (The descriptive complexity equivalent of NC1)
Apr 23, 2020
Top network posts
View all network posts
245
How do towels stay on hooks?
152
Referee wants me to add a plot – because the paper has none
129
Colleague blames me for not spotting typos when I only reviewed the structure and content
92
$-3^2 = 9?\ $ Correct syntax for a negative number with an exponent.
87
Rejection from a legitimate journal, with reviewers recommending me to try a Beall's list journal

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.