Theoretical Computer Science
Shaull
Profile Activity
Stats
5,007
reputation
61k
reached
60
answers
23
questions
About

Assistant Professor at the Technion, Israel.

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

Communities (6)

Top network posts

1
gold badge
19
silver badges
28
bronze badges
View all badges

Top tags (84)

Score 120
Posts 23
Posts % 28
Score 83
Posts 13
Score 82
Posts 13
Score 38
Posts 9
Score 32
Posts 6
Score 31
Posts 6
View all tags →

Top posts (83)

All Questions Answers
Votes Newest
28 Hardest known natural problem in P? Jan 9 '14
17 A simple decision problem whose decidability is not known Sep 4 '13
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
12 Arithmetic circuits with $\min$, $\max$, and average over $[0,1]$ Feb 11 '13
12 When does randomization stops helping within PSPACE Apr 30 '15
12 Minimizing Automata accepting $\omega$-words (i.e. infinite words) Dec 26 '14
12 Determinising unambiguous automata without exponential blowup Sep 19
10 Finite-State Automata over a real-valued alphabet Feb 4
10 What is the motivation behind defining Deterministic Looping Automata? Oct 1 '17
View all questions and answers →

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.