Anmol Mathur is a Knowledge Engineer at Google, based in Mountain View, California. Anmol is working on search quality in Google Search team. Anmol holds 16 patents and has published several papers in the areas of formal verification, logic synthesis and arithmetic optimization techniques.

Anmol has been Knowledge Engineer at Google Search since November 2011.

In January 2003 Anmol co-founded Calypto and worked as the company's Chief Architect. He helped other architects and developed key technology pieces for SLEC - the first commercial sequential equivalence checking and the PowerPro family of sequential power optimization products at Calypto. Later, in June 2007 Anmol became CTO and Co-founder that presupposed being responsible for driving key technology for Calypto's sequential equivalence checking product (SLEC) and sequential power optimization product (PowerPro) and representing Calypto's products and technology at conferences, industry consortiums (Cadence PFI) and standardization bodies (Si2, Low Power Coalition).

From 1998-2002, Anmol worked as a Data architect at Cadence Design Systems. He was responsible for implementing and architecting Datapath synthesis and optimization in AMBIT /Cadence BuildGates Logic synthesis tool.

From November 1997 till October 1998 Anmol Mathur was a Principal Engineer at Ambit Design Systems.

Anmol Mathur worked as a Member of technical staff at Silicon Graphics from 1995-1997. There he was a part of Team that developed and deployed a combinational equivalence checker and formal property checker used in MIPS designs before these tools were commercially available. He received a technical achievement award for the development and deployment of an equivalence checker in MIPS microprocessor designs.

1. Anmol Mathur, Rajesh K. Gupta.

Rate Analysis for Embedded Systems. Department of Computer Science, University of Illinois at Urbana-Champaign, 1996.

2. Anmol Mathur, Edward M. Reingold. Generalized Kraft's Inequality and Discrete K-modal Search. Department of Computer Science, University of Illinois at Urbana-Champaign, 1993.

From 1990-1995 Anmol studied at University of Illinois at Urbana-Champaign and graduated with PhD in Computer science. Previously, from 1986-1990 he was a student of IIT Delhi and graduated with BTech in Computer science. In 1986, Anmol graduated from St Xavier's College in Jaipur, India.