Welcome to my personal site.

I am an AI and Quality Researcher at IBM research labs. Enthusiastic about mathematics, algorithms, and their intersection. My interests include (but are certainly not limited to): Logic, Set Theory, Formal Verification, Distributed Algorithms, AI, Program Synthesis, Word Combinatorics.

​

I received my Ph.D. from Ben-Gurion University, under the supervision of Uri Abraham and Gera Weiss, in the research fields of Distributed Computing and Formal Verification. Mainly, I focused on finding linearizable wait-free implementations in the asynchronous shared-memory model, and tried to find formal ways to verify the correctness of concurrent implementations automatically.

​

I was a post-doctoral fellow at Tel Aviv University in Shahar Maoz's research group, studying the field of reactive synthesis with an emphasis on GR(1)-synthesis. The goal of this research is to improve the expressibility and accessibility of the GR(1)-framework for practical synthesis. Check out the SYNTECH project for more details.

​

I am also interested in De-Bruijn sequences. You are welcome to contact me regarding any of these fascinating fields.