Computer Science
Shaull
Profile Activity
Stats
15,651
reputation
548k
reached
277
answers
2
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
28
silver badges
56
bronze badges
View all badges

Top tags (134)

Score 242
Posts 49
Posts % 18
Score 214
Posts 49
Score 191
Posts 31
Score 168
Posts 30
Score 158
Posts 41
Score 142
Posts 27
View all tags →

Top posts (279)

All Questions Answers
Votes Newest
39 Can one build a "mechanical" universal Turing machine? Dec 30 '20
39 Can a language have more than one DFA? Feb 3 '16
31 What's an example of an unsatisfiable 3-CNF formula? Jan 30 '14
28 Is Dijkstra's algorithm just BFS with a priority queue? Feb 24 '13
18 Flaw in my NP = CoNP Proof? Mar 12 '13
17 Finite state automata: final states Jun 4 '18
17 Is it decidable whether a given context free grammar generates an infinite number of strings? Jan 31 '16
16 Construct two functions $f$ and $g$ satisfying $f \ne O(g), g \ne O(f)$ Mar 16 '13
15 How do you classify properties as Trivial and Non-trivial? Feb 27 '14
15 Is there an efficient test for if an NFA accepts a subset of another NFA? Feb 20 '13
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.