Axiomise
As founder & CEO of Axiomise, Dr. Ashish Darbari has led the company to successfully deploy the unique combination of training, consulting, services, and verification IP to various customers. Ashish has expertise in all aspects of formal methods, including theorem proving, property and equivalence checking.
Before starting Axiomise, Ashish worked at Intel, Arm, Imagination Technologies and OneSpin Solutions. Ashish likes to lead from the front, having coded the formalISA app and designed & delivered the formal verification training programme at Axiomise to over 350 engineers. He has turned Axiomise into a global leader in formal verification consulting & services turning it into a multi-million dollar company with zero VC funding.
