| Oct 20, 2026 | Introducing GPAP: Boolean constraint propagation on the GPU! GPAP propagates thousands of partial assignments at once, in a single kernel launch, and is now open source. Our preprint SAT Sampling at Scale via GPU-based Boolean Constraint Propagation (with Alexander Nadel and Ofer Strichman) builds a SAT sampler on top of it. |
| Sep 01, 2026 | New paper at FMCAD 2026! Our paper NobleCount: Revisiting a Forgotten Data Structure for Local Search in SAT (with Alexander Nadel and Ofer Strichman) appears at the 26th Conference on Formal Methods in Computer-Aided Design (FMCAD 2026). [PDF] |
| 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. |