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 8 years, 10 months
6 profile views
Last seen 2 days ago
- Computer Science 14.6k 14.6k 11 gold badge2424 silver badges5353 bronze badges
- Theoretical Computer Science 4.2k 4.2k 11 gold badge1515 silver badges2424 bronze badges
- Mathematics 191 191 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?
- 31 What's an example of an unsatisfiable 3-CNF formula?
- 28 Hardest known natural problem in P?
- 22 Is Dijkstra's algorithm just BFS with a priority queue?
- 17 Flaw in my NP = CoNP Proof?
- 17 Finite state automata: final states
- 17 A simple decision problem whose decidability is not known
- View more network posts →