Dr Ashish Darbari is the founder and CEO of Axiomise. Ashish brings his passion and experience in using formal for over two decades to Axiomise. Ashish has 38 patents in formal verification. Before starting Axiomise, he was the Director of product management at OneSpin Solutions and a Royal Academy of Engineering Visiting Professor at the University of Southampton. He has also worked at Arm, Intel, General Motors & Imagination Technologies where he taught formal methods to nearly a hundred engineers. Ashish has been glob-trotting for two decades and has enjoyed studying and working in Asia, Europe and North America. He has a Bachelor’s (EEE) from India, a Masters (CS) from Germany and a doctorate (CS) from the University of Oxford. Ashish is a Fellow of IETE, Fellow of British Computing Society, and a senior member of IEEE and ACM.
Designer, IP and Embedded Systems Track Presentations
Hosted in Virtual Platform