Computer Science
Meta user
Network profile
13,416
reputation
1
21
49

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
~375k
people reached
  • Israel
  • shaull.github.io
  • Member for 6 years, 6 months
  • 856 profile views
  • Last seen 3 hours ago

Communities (6)

Top network posts

Top tags (123)

Score 197
Posts 45
Posts % 18
Score 172
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 Flaw in my NP = CoNP Proof? Mar 12 '13
15 Construct two functions $f$ and $g$ satisfying $f \ne O(g), g \ne O(f)$ Mar 16 '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 (71)

Gold

1

Rarest

Silver

21

Rarest

Bronze

49

Rarest

View all badges →