Episode 13: An informal chat with Sean Safarpour

Formal bytes: The Axiomise Podcast Channel - En podcast af Axiomise

Prøv Podimo gratis i 30 dage

Prøv Podimo gratis i 30 dage

Et univers fyldt med hundredvis af eksklusive podcasts & lydbøger, klik her for at prøve

 Annoncering

Kategorier:

Uddannelse Teknologi

This week, Dr. Darbari has an informal chat about formal verification with Dr. Sean Safarpour - Group Director, Synopsys, and head of VC Formal product line. Sean talks about his journey from being a graduate student to leading a world-class team of engineers at Synopsys. Sean talks about tools, technology, methodology, coverage, and more.

Visit the podcast's native language site