Executive Team

Ashish Darbari

Dr. Ashish Darbari

CEO & CTO

As CEO of Axiomise, Dr Ashish Darbari co-founded and led Axiomise in successfully deploying the unique combination of training, consulting, services, custom solutions, and verification IP, serving 20+ customers over 8+ years. He has developed and delivered a training portfolio that has upskilled over 1,600 engineers worldwide at leading Fortune 500 corporations. A keen innovator in formal verification dating back to his Master’s and doctorate in formal verification from the University of Oxford, Ashish holds 70 formal verification patents and is leading a thriving ecosystem of development of apps such as formalISA, footprint, floatrix, nocProve that have been developed at Axiomise as part of the Axiomiser Platform. His foundational work in formal verification abstractions laid the foundation of CoreProve a proof convergence technology underpinning all the apps at Axiomise.

Ashish Darbari

Dr. Vidya Chandran Darbari

CSO

Dr. Vidya Chandran Darbari is Axiomise’s Chief Strategy and Operations Officer (CSO), co-founder, and company director. She has a unique multi-disciplinary background that spans medicine, mathematics, life sciences and biomedical engineering.  As CSO, she is instrumental in steering Axiomise’s strategic direction and operational excellence since its inception, establishing the company as a global leader in formal verification training, consulting & services, and software solutions.

A PhD from University of Cambridge, she holds an Honorary Senior Lecturer position at Queen Mary University of London, where she previously served as Deputy Director of Graduate Studies and Director of the Centre for Molecular Cell Biology.  Her research has resulted in high-impact publications in prestigious journals including Nature and Science.

Dr. Darbari has received multiple awards for professional recognition, including the Biochemical Society Early Career Award, the British Crystallographic Association Early Career Prize, a Research Excellence Award from the Science and Engineering Faculty at Queen Mary University of London. She is a Fellow of the Higher Education Academy. 

Dr. Sadegh Dalvandi

Director of Engineering

Dr. Sadegh Dalvandi is the Director of Engineering at Axiomise, overseeing formal verification service projects. He has extensive experience in delivering high-quality formal verification solutions for complex designs. Before joining Axiomise, he was a Formal Methods Researcher at the University of Surrey, contributing to the formal verification of C programs under weak memory consistency. Prior to that, he conducted research at the University of Southampton, focusing on developing a toolset for formally verified code generation for embedded systems. He earned his PhD in Computer Science from the University of Southampton, where he developed a methodology and toolset for stepwise development and refinement of abstract mathematical models into correct-by-construction executable programs.