Theoretical Computer Science
6005's user avatar
6005's user avatar
6005's user avatar
6005
  • Member for 9 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
842
reputation
4k
reached
3
answers
4
questions
Communities
View all
About

Incoming assistant professor of computer science at UC Davis (starting fall 2023).

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

  • ScB, Mathematics and 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
246
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.