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 6 years, 8 months
0 profile views
Last seen Dec 26 '18 at 12:56
- Computer Science 13.4k 13.4k 11 gold badge2121 silver badges5050 bronze badges
- Theoretical Computer Science 3.2k 3.2k 11 gold badge1313 silver badges2323 bronze badges
- Mathematics 161 161 44 bronze badges
- MathOverflow 136 136 55 bronze badges
- English Language & Usage 111 111 11 gold badge11 silver badge55 bronze badges
- View network profile →
Top network posts
- 37 Can a language have more than one DFA?
- 28 Hardest known natural problem in P?
- 27 What's an example of an unsatisfiable 3-CNF formula?
- 18 Is Dijkstra's algorithm just BFS with a priority queue?
- 17 Finite state automata: final states
- 16 Flaw in my NP = CoNP Proof?
- 16 Construct two functions $f$ and $g$ satisfying $f \ne O(g), g \ne O(f)$
- View more network posts →