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, 10 months
0 profile views
Last seen Dec 26 '18 at 12:56
- Computer Science 13.7k 13.7k 11 gold badge2121 silver badges5050 bronze badges
- Theoretical Computer Science 3.8k 3.8k 11 gold badge1414 silver badges2323 bronze badges
- Mathematics 181 181 44 bronze badges
- MathOverflow 171 171 55 bronze badges
- English Language & Usage 121 121 11 gold badge11 silver badge55 bronze badges
- View network profile →
Top network posts
- 37 Can a language have more than one DFA?
- 28 What's an example of an unsatisfiable 3-CNF formula?
- 28 Hardest known natural problem in P?
- 18 Is Dijkstra's algorithm just BFS with a priority queue?
- 17 A simple decision problem whose decidability is not known
- 17 Finite state automata: final states
- 16 Teaching high school TCS - existing programs
- View more network posts →