Executive Team

Ashish Darbari

Dr. Ashish Darbari

CEO & CTO

AAs 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 25+ customers over 9+ 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 69 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. 
Ashish Darbari

Bipul Talukdar

Senior Director, Engineering

With a remarkable career spanning leading roles in the hardware functional verification industry, Bipul brings deep expertise in RISC-V, formal property verification, verification IP development, emulation, constraint random verification and clock domain crossing. He has extensive experience working in customer projects and development of verification tools and libraries. Bipul is passionate about RISC-V and Formal Verification; his experience in VIP architecture and development, RISC-V verification solution development, and formal verification of RISC-V-based cores and subsystems makes him a strong Engineering Leader for our team as we continue to drive innovation in formal verification

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.

Ana Indoitu

Director of People, Operations & Growth

With a background in law and development management, Ana shares 9+ years in leadership roles. She is a founder and manager of companies from their initial growth stage to scaling up to 55+ people organizations across software development and development industries. She is a certified Project Management Professional (PMP & PRINCE2®), CIPD and LSE graduate, bringing operational agility to scaling companies. Ana is a hands-on professional, building the HR function and team. With expertise in talent management, employee engagement, performance optimization, and organizational development, Ana has successfully contributed to the growth of several organizations. Ana is passionate about aligning human resources practices with business objectives, optimizing talent acquisition, and shaping workplace culture that supports innovation, collaboration, and long-term success.