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.
Member for 7 years, 3 months
0 profile views
Last seen Dec 16 '19 at 13:30
- Computer Science 14.3k 14.3k 11 gold badge2323 silver badges5151 bronze badges
- Theoretical Computer Science 4.1k 4.1k 11 gold badge1414 silver badges2424 bronze badges
- Mathematics 181 181 55 bronze badges
- MathOverflow 171 171 55 bronze badges
- English Language & Usage 123 123 11 gold badge11 silver badge55 bronze badges
- View network profile
Top network posts
- 39 Can a language have more than one DFA?
- 30 What's an example of an unsatisfiable 3-CNF formula?
- 28 Hardest known natural problem in P?
- 21 Is Dijkstra's algorithm just BFS with a priority queue?
- 17 Flaw in my NP = CoNP Proof?
- 17 A simple decision problem whose decidability is not known
- 17 Finite state automata: final states
- View more network posts →