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 a range of customers. Ashish has expertise in all aspects of formal methods including theorem proving, property checking, and equivalence checking. Although he has a Doctorate in formal verification from the University of Oxford, to learn formal verification from him, you don’t need a Ph.D.! Some of his former students work at Apple®, Arm®, Blu Wireless®, CERN®, DW Holdings®, Diffblue®, Displaylink®, Meta®, Imagination Technologies®, Infineon®, Intel®, Nokia®, Raytheon®, Rockwell Automation®, Rockley Photonics®, Synopsys®, OneSpin Solutions®, and Xilinx®, to name a few.
Ashish has been actively using formal methods for over two decades. He is one of the foremost authorities in practical applied formal verification having trained nearly 200 designers, and verification engineers across the world. A keen innovator in formal verification, Ashish has 46 patents in formal verification. He is also the author of the formalISA® app.
For more information on what people say about us check out www.axiomise.com/testimonial. Some testimonials that couldn’t make it to the website can be found on [1, 2].