Welcome to my homepage. I am the Founder and CEO of Axiomise – a formal verification training, consulting and services company based in the beautiful and vibrant city of London. I was born in India where I did my schooling and went to BIT Mesra to obtain a Bachelor’s in EEE. I moved to Europe 20 years ago where I started my journey into formal methods. I studied for a two year Master’s in Computer Science in TU Dresden in Germany and then went to Oxford University to get my Doctorate in formal verification.

I subsequently went to University of Southampton where I spent four years in Postdoctoral research. I’d the rare opportunity to work in all major CPU companies in the world including Intel (Portland), ARM (Cambridge) and MIPS technologies (UK). Other than this, I’ve worked in General Motors R&D (Bangalore), Imagination Technologies (UK) and OneSpin Solutions GmbH (Munich).

Details of my research and patents can be obtained from Google Scholar.