Ph.D Student in the Hebrew University, Jerusalem, Israel.
Research interests: Formal Verification, Temporal Logic, Automata theory, Weighted automata and weighted logics, and all things theoretical.
27 Hardest known natural problem in P? Jan 9 '14
16 Teaching high school TCS - existing programs Nov 8 '13
13 How small can a NFA be, compared to the minimal Unambiguous Finite Automaton (UFA) of the same regular language? Jan 12 '14
13 A simple problem whose decidability is not known Sep 4 '13
12 When does randomization stops helping within PSPACE Apr 30 '15