A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Computer Science
Meta user
Network profile
14,081
reputation
1
22
51

Shaull

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.

258
answers
2
questions
~414k
people reached
  • Israel
  • shaull.github.io
  • Member for 6 years, 11 months
  • 923 profile views
  • Last seen 58 mins ago

Communities (6)

Top network posts

Top tags (127)

Score 199
Posts 45
Posts % 17
Score 181
Posts 41
Score 174
Posts 28
Score 157
Posts 29
Score 151
Posts 38
Score 128
Posts 24
View all tags →

Top posts (260) All Questions Answers | Votes Newest

37 Can a language have more than one DFA? Feb 3 '16
29 What's an example of an unsatisfiable 3-CNF formula? Jan 30 '14
20 Is Dijkstra's algorithm just BFS with a priority queue? Feb 24 '13
17 Finite state automata: final states Jun 4 '18
16 Construct two functions $f$ and $g$ satisfying $f \ne O(g), g \ne O(f)$ Mar 16 '13
16 Flaw in my NP = CoNP Proof? Mar 12 '13
15 Is there an efficient test for if an NFA accepts a subset of another NFA? Feb 20 '13
13 Can a DFA have an unreachable state? Jan 16
13 Is it decidable whether a given context free grammar generates an infinite number of strings? Jan 31 '16
13 How do you classify properties as Trivial and Non-trivial? Feb 27 '14
View all questions and answers →

Badges (74)

Gold

1

Rarest

Silver

22

Rarest

Bronze

51

Rarest

View all badges →