Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

PhD, Technion - Israel Institute of Technology

External positions

Postdoctoral Research Associate, Princeton University

1 Sep 201431 Aug 2017


  • QA76 Computer software
  • Formal Verification
  • Model Checking
  • QA75 Electronic computers. Computer science
  • Formal Methods


Dive into the research topics where Yakir Vizel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or