Dr. Ashish Darbari is the founder & CEO of Axiomise – a formal verification training, consulting, services, and IP company. Ashish has trained close to 200 engineers in formal verification across some of the best-known names in the industry. He is the author of the formalISA® app and runs a podcast channel "Formal Bytes" to promote the very best in verification. Ashish has 38 patents in formal verification and 77 publications. He holds a DPhil in formal verification from the University of Oxford and has been a Royal Academy of Engineering Visiting Professor at the University of Southampton and is also a Fellow of the British Computing Society, and IETE.