The Stack Overflow podcast is back! Listen to an interview with our new CEO.
Computer Science
Meta user
Network profile
13,446
reputation
1
21
50

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.

245
answers
2
questions
~388k
people reached
  • Israel
  • shaull.github.io
  • Member for 6 years, 8 months
  • 870 profile views
  • Last seen 8 hours ago

Communities (6)

Top network posts

Top tags (123)

Score 197
Posts 45
Posts % 18
Score 173
Posts 38
Score 159
Posts 26
Score 149
Posts 26
Score 145
Posts 35
Score 121
Posts 23
View all tags →

Top posts (247) All Questions Answers | Votes Newest

37 Can a language have more than one DFA? Feb 3 '16
27 What's an example of an unsatisfiable 3-CNF formula? Jan 30 '14
18 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 Is it decidable whether a given context free grammar generates an infinite number of strings? Jan 31 '16
13 Are turing machine really countable? Sep 22 '13
12 How do you classify properties as Trivial and Non-trivial? Feb 27 '14
View all questions and answers →

Badges (72)

Gold

1

Rarest

Silver

21

Rarest

Bronze

50

Rarest

View all badges →