Yakir Vizel

About Me

I am a Postdoctoral Research Associate at Princeton University working with Professor Sharad Malik.

I have received a PhD from the Computer Science Department at the Technion in 2014. My research was conducted under the supervision of Professor Orna Grumberg.

An updated CV can be found here.

Areas of Interest:

Formal Verification of hardware and software

SAT-based Model Checking

Abstraction Techniques

Security Verification

SAT/SMT Solving

Recent Publications: