Presenter

Aarti Gupta is a technical lead in Formal Verification Central Tech Office (FVCTO) team at Intel corporation and is responsible for providing complete Formal Verification (FV) solutions to different design teams across Intel from the planning stages to signoff. Aarti joined Intel in 2005 after receiving her MTech from Indian Institute of Technology Kanpur. Apart from Intel, she has previously worked for ARM Ltd. and Freescale Semiconductors. Aarti has 48 publications in FV domain. Outside work, Aarti enjoys yoga, playing piano, and traveling.