Yoav Hollander

About me: I was always fascinated by verification (defined here as “the process of finding bugs before they annoy a customer / destroy a project / kill somebody”). I created the e verification language, and founded Verisity to commercialize the related tools and methodologies for HW verification. After Verisity was acquired by Cadence, I stayed on and helped start various projects related to system verification. I hold 9 verification-related patents. I founded Foretellix to create tools and methodologies for the verification of intelligent autonomous systems (with a focus on autonomous vehicles). I write a blog about complex-system verification which you may enjoy – see blog.foretellix.com.