Coronavirus (COVID-19) Update
All ongoing and spring classes have been moved to a remote format. Please check our coronavirus update page for our latest announcements.
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.