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.

read more


I work in the area of formal methods based verification. This entails using mathematical logic based techniques to specify and verify designs. I’ve been interested for many years in understanding how methodology can have a positive impact on the performance of formal verification tools so we can continue to verify bigger and more complex designs.

read more


  • Fellow British Computer Society (BCS)
  • Fellow IETE (India)
  • Senior Member ACM (USA)
  • Senior Member, IEEE (USA)
  • Co-Chair DAC 2016 Designer Track Front End
  • TPC Member Designer Track DAC 2018, DAC 2017, DAC 2016
read more