Dr Darbari has been actively using formal methods for over two decades. He is one of the foremost authorities in practical applied formal verification having trained
more than 150 designers, and verification engineers across the world. He has taught 22-year-old fresh graduates but also seasoned designers with 22 years’ experience. Some of his former students work at Apple®, Arm®, Blu Wireless®, Diffblue®, Facebook®, Nokia®, Imagination®, Synopsys®, and OneSpin Solutions® to name a few. A keen innovator in formal verification, Dr Darbari has 24 US, UK and EU patents, and 32 peer-reviewed papers in formal verification. He is also the author of Axiomise RISC-V ISA formal proof kit®.
Dr Darbari 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 PhD! His training program has been crafted to enable a complete novice in formal verification to production-grade work.
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].