Dr. Ashish Darbari is the Founder & CEO of Axiomise Limited, UK.
Dr. Darbari brings his passion and experience in enabling formal to Axiomise. He has experience of using formal in top organizations in the world including Intel, ARM, General Motors, Imagination, and OneSpin Solutions.
Dr. Darbari has extensive experience in all formal technologies such as model checking, equivalence checking, and theorem proving. He has also innovated techniques for applying formal on a range of new problem domains that include security, power, and firmware verification.
Dr. Darbari has been at the forefront of deploying formal for years. He likes to lead by example and has personally overseen the deployment of formal on over 50 projects in a little over three years – thanks to his technological inventions and an energetic team of engineers in the well-known AVM group at Imagination. He has published over thirty plus papers and has 35 patents.