CEO & CTO

As founder & CEO of Axiomise, Dr. Ashish Darbari has led the company to successfully deploy the unique combination of training, consulting, services, and verification IP to various customers. Ashish has expertise in all aspects of formal methods, including theorem proving, property checking, and equivalence checking.

Although he has a Doctorate in formal verification from the University of Oxford, to learn formal verification from him, you don’t need a PhD! Some of his former students work at Apple®, Arm®, Blu Wireless®, CERN®, DW Holdings®, Diffblue®, Displaylink®, Meta®, Imagination Technologies®, Infineon®, Intel®, Nokia®, Raytheon®, Rockwell Automation®, Rockley Photonics®, Synopsys®, OneSpin Solutions®, and Xilinx®, to name a few. Ashish has been actively using formal methods for over two decades. He is one of the foremost authorities in practical applied formal verification, having trained over 1200 designers and verification engineers worldwide. A keen innovator in formal verification, Ashish has 67+ patents in formal verification. He is also the author of the formalISA® app. For more information on what people say about us, check out testimonials. Some testimonials that couldn’t make it to the website can be found on [1, 2]. After Neil Dunlop’s retirement in 2025, Ashish has taken the role of CTO as well.

CSO

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

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.

Director, HR & Operations

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.