Himani Jawa is a professional in the field of formal verification engineering with extensive experience across leading technology companies. Beginning a career at Western Digital as a Senior Engineer from July 2017 to December 2020, Himani then advanced to Intel Corporation as a Formal Verification Engineer from January 2021 to July 2023. Following this role, Himani continued formal verification work at Qualcomm from July 2023 to March 2024 before joining Google in April 2024 as a Formal Verification Engineer.
This person is not in the org chart
This person is not in any teams
This person is not in any offices