| Apr 01, 2026 | Joined NVIDIA as PhD Student Researcher! I am excited to join NVIDIA as a PhD Student Researcher in Formal Verification Development — an ongoing position alongside my PhD at the Technion. |
| Aug 01, 2025 | Best Student Paper Award at SAT 2025! Our paper Enumerating All Boolean Matches (with Alexander Nadel) received the Best Student Paper Award at the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025). The companion open-source tool EBat is publicly available. |
| Sep 26, 2024 | Exciting News: PhD Acceptance at the Technion! I am thrilled to announce that I have been accepted into the PhD program at the Technion (Israel Institute of Technology) in the Faculty of Data and Decision Sciences. My supervisors are Alexander Nadel and Ofer Strichman. |