Spring Courses Open for Enrollment
15% discount on select winter & spring courses for all subscribers.Coronavirus (COVID-19) Update
Our courses are taught remotely through spring 2021. Please check our coronavirus update page for our latest announcements.
Instructor
Mandar M Munishwar LinkedIn
MANDAR MUNISHWAR, B.E., is a formal verification engineer at Google, where he is part of the team responsible for formally verifying next-generation machine learning accelerator chips. He has more than 15 years of experience in application of formal verification tools and techniques.