معرفی
Yakir Vizel is an Assistant Professor in the Computer Science Department at the Technion—Israel Institute of Technology. His research focuses on formal verification of hardware and software systems, with an emphasis on bridging gaps between theoretical foundations and practical implementations.
- Committee Member, SPLASH 2025 (OOPSLA Review Committee)
- Program Committee Member, ATVA 2025
- Contributor to open-source verification tools like CVC4 and SeaHorn.
His work targets safety-critical systems, aiming to develop mathematical tools for specifying and verifying system correctness. Key contributions include:
- 2024 VMCAI: Automated repair for speculative execution leaks
- 2023 NASA Formal Methods: Condition synthesis via constrained Horn clauses
- 2017 VMCAI: Advancements in IC3 algorithm for model checking
۰مقاله منتشرشده
