Yogev Shalmon
PhD Student in Formal Verification & SAT Solving
PhD Student Researcher @ NVIDIA
PhD Student @ Technion
I am a PhD student in the Faculty of Data and Decision Sciences at the Technion — Israel Institute of Technology, advised by Alexander Nadel and Ofer Strichman.
My research focuses on SAT solvers and their applications.
I am currently a PhD Student Researcher at NVIDIA, working in Formal Verification Development alongside my PhD — not a summer internship, but an ongoing student position. Previously, I worked as a research student at Intel Corporation in Haifa, Israel, where my work on Boolean matching (EBat) was productized as part of Intel’s library mapping flow. My work has been published at the International Conference on Theory and Applications of Satisfiability Testing (SAT) and received the Best Student Paper Award at SAT 2025.
news
| 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. |