Theoretical Computer Science
Profile Activity
Meta user
Network profile
831
reputation
5
14

6005

Previous names on stackexchange: Goos, CS

Current:

  • PhD Computer Science, University of Pennsylvania

Past:

  • ScB Mathematics - Computer Science, Brown University
3
answers
4
questions
~3k
people reached

Communities (80)

Top network posts

Top tags (16)

Score 25
Posts 1
Posts % 14
Score 4
Posts 2
Score 4
Posts 2
Score 4
Posts 2
Score 1
Posts 3
Score 1
Posts 3
View all tags →

Top posts (7)

All Questions Answers
Votes Newest
25 Turing award papers Dec 6 '19
21 Decidability of diophantine equations over {=, +, gcd} Dec 26 '20
10 What class of languages is recognized by finite-state automata with $k$ heads? Oct 4 '19
7 Complexity class of efficient streaming algorithms Apr 23 '20
4 2DFA to 1DFA - Converting two way deterministic finite automata to one way deterministic finite automata Apr 25 '20
3 What is FO(REGULAR)? (The descriptive complexity equivalent of NC1) Apr 16 '20
1 What is FO(REGULAR)? (The descriptive complexity equivalent of NC1) Apr 23 '20

Badges (19)

Gold

—

Silver

5

Rarest

Bronze

14

Rarest

View all badges →

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.