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.
Q&A for students, researchers and practitioners of computer science
Q&A for theoretical computer scientists and researchers in related fields
Q&A for people studying math at any level and professionals in related fields
Q&A for linguists, etymologists, and serious English language enthusiasts