Rohit Date is an experienced engineer specializing in formal verification and static analysis, with a career spanning over a decade. Rohit began as an ASIC Engineer at Juniper Networks from November 2010 to November 2014, primarily focusing on DV/FPV engineering. Following this role, Rohit worked at Synopsys from November 2014 to September 2016 as an Application Consultant and Static and Formal Verification Specialist. Subsequently, Rohit served as a Formal Verification Engineer at Apple from September 2016 to December 2019, before continuing in the same capacity at Google from December 2019 to November 2023. Currently, Rohit is employed as a Formal Verification Engineer at Meta since December 2023.
This person is not in the org chart
This person is not in any teams
This person is not in any offices