About Me

I work at OneSpin Solutions in Germany as Director of Product Management. 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 2016, DAC 2017
read more