Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta user
Network profile
3,097
reputation
1
13
23

Shaull

Postdoc at Oxford University, UK.

Research interests: Dynamical Systems, Formal Verification, Temporal Logic, Automata Theory, Weighted Automata and Weighted Logics, and all things theoretical.

43
answers
14
questions
~42k
people reached

Communities (6)

Top network posts

Top tags (59)

Score 75
Posts 15
Posts % 26
Score 68
Posts 10
Score 63
Posts 10
Score 28
Posts 5
Score 27
Posts 5
Score 25
Posts 4
View all tags →

Top posts (57) All Questions Answers | Votes Newest

27 Hardest known natural problem in P? Jan 9 '14
16 How small can a NFA be, compared to the minimal Unambiguous Finite Automaton (UFA) of the same regular language? Jan 12 '14
16 Teaching high school TCS - existing programs Nov 8 '13
15 A simple problem whose decidability is not known Sep 4 '13
12 Minimizing Automata accepting $\omega$-words (i.e. infinite words) Dec 26 '14
12 When does randomization stops helping within PSPACE Apr 30 '15
11 Arithmetic circuits with $\min$, $\max$, and average over $[0,1]$ Feb 11 '13
10 Is it possible to test if a computable number is rational or integer? Feb 17 '13
9 Lower bound on number of oracle calls for solving $n$ instances of the halting problem Mar 19 '13
9 Is SAT with two “opposite” solutions NP-hard? Jul 13 '15
View all questions and answers →

Badges (37)

Gold

1

Rarest

Silver

13

Rarest

Bronze

23

Rarest

View all badges →