Theoretical Computer Science
Profile Activity
Meta user
Network profile
841
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 (79)

Top network posts

Top tags (0)

This user has not participated in any tags.

Top posts (7)

All Questions Answers
Votes Newest
25 Turing award papers Dec 6 '19
22 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 →