About Me

I’m a founder and CEO of Axiomise – a formal verification training, consulting, and services company founded in London in Feb 2018. I’m also a Visiting Professor at the ECS department of University of Southampton  where I was appointed a Royal Academy of Engineering Visiting Professor in March 2015.

Prior to this I was at OneSpin Solutions as a Director of Product Management where I led the product team that interfaced between the R&D and customers. I have had a long history of working in top notch semiconductor companies in the world that includes Imagination Technologies, General Motors, ARM, and Intel.

At Imagination Technologies I worked as a Principal Hardware Design Engineer at Imagination Technologies in Kings Langley, England where I led the Advanced Verification Methodology Group which I co-founded in the beginning of 2013. This group was responsible for pioneering advanced verification methodologies for making hardware functional verification quicker, slicker, efficient and potent. In a little over 3 years since it’s inception the group filed nearly 40 patents, of which 12 have been issued in the UK and the USA. I also published 10+ papers whilst at Imagination, chalked out several verification road maps for the company, and was responsible in conducting project work and support for 50+ projects company wide.

I also led the formal verification training program at Imagination centered around the use of assertion based verification. I conceived, designed, developed and delivered this training programme to nearly 100 engineers within Imagination. A third of the training modules are about ‘new ways’ of solving tough verification problems through the use of formal.

Prior to this I was a Senior Researcher at General Motors (GM), India Science Lab, Bangalore. Before that I worked for ARM in Cambridge, England. My general area of interest is in the use of  ‘Formal’ methods for specification, validation and verification of systems. I  was a Post Doctoral Research Fellow at the School of Electronics and Computer Science, University of Southampton for 4 years after completing my D.Phil. at Oxford University.

My education gave me a rare opportunity to study and travel in several countries. For my schooling I went to St. Joseph’s College, Allahabad, India. Inspired by two generations of Engineers and Scientists at home in India, I decided to pursue an undergraduate degree in Electrical and Electronics Engineering at Birla Institute of Technology (BIT), Mesra, India. After my Bachelor’s I went to Technical University Dresden to study for a Masters programme in Computational Logic. Whilst still a Master’s student, I was a visiting student to Imperial College, England, to work on my Master thesis.