Dr Ashish Darbari
Dr Ashish Darbari

Dr Ashish Darbari

Ashish is the CEO of Axiomise — a formal verification training, consulting, and services company. He has been working in formal verification for over 20 years.

Medium member since February 2019