avatar for Dr. Ashish Darbari

Dr. Ashish Darbari

Founder & CEO
Dr. Darbari is the founder & CEO of Axiomise - a company founded in London to democratize formal verification and make it easy for everyone to adopt formal methods for hardware verification. He has been actively using formal methods for over two decades. Before starting Axiomise, Ashish was the head of the product team at OneSpin Solutions. He was the founder and head of the AVM group at Imagination Technologies where his 4-member team deployed formal verification across all Imagination business units on over 50 projects within 3 years. Ashish has trained more than 150 engineers in formal verification across some of the best-known names in the industry. Ashish holds 35 US, UK, and EU patents, and has 32 peer-reviewed papers in formal verification. He is also the author of Axiomise RISC-V ISA formal proof kit®. He runs a podcast channel "Formal Bytes" to promote the very best in formal verification. He has been delivering talks, webinars, and seminars for the last 20 years. He was a speaker at the RISC-V Summit in 2019. In 2020, Ashish has delivered three webinars on RISC-V formal verification, that have been attended by more than 2500 people worldwide.Ashish holds a Doctorate in formal verification from Oxford University and has been a Royal Academy of Engineering Visiting Professor at the University of Southampton between 2015-2018. He is a Fellow of the British Computing Society, and IETE, and a senior member of IEEE and ACM.
  • Timezone
  • Filter By Venue Virtual Event
  • Filter By Type
  • Ask the Expert
  • Break
  • Industry
  • Keynote
  • Technical