Axiomise formal verification training is delivered by its founder & CEO Dr Darbari who 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.
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 testimonials. Some testimonials that couldn’t make it to the website can be found on [1, 2].