Hi! This is M K Srivas. I am a very contented faculty in the Computer Science Department at Chennai Mathematical Institute where I have existed since 2012. Prior to CMI, I was a faculty at the State University of NY at Stony Brook, NY, USA, and worked as a Research Scientist at SRI International, Menlo Park, CA, USA.

I have been working almost all of my professional life, it seems, in formal methods (FM) theory and practice since my PhD in CS at MIT, Cambridge, USA, in the early 80's where it all started. After I left SRI to move to India, I dabbled for a decade starting in 2001 with a couple of hi-tech start-ups, one of which became a part of Texas Instruments India, Pvt. Ltd. After the industry stint, I returned to my FM roots as a faculty at CMI five years ago. My goal for the rest of my active professional life is to train the next generation in formal methods, while also contributing my bit to making FM worthy of its promise.

Besides FM, some of my other passionate pastime include exploring ancient temples, listening to Carnatic music, and watching Indian movies!!

Professional Activities

  • Formal Methods research at CMI, including mine, is supported by TCS Research with whom we closely collaborate. The goal of our researh project is to develop static analysis techniques and formal rmal verification, methods to enable and scale program analysis for productive use in practice. Some of the research areas I am specifically interested in are abstraction techniques to rogram verification, program and invariants synthesis, combining Machine Learning with formal techniques, and performing real-life case studies on application of FM.

  • I am always on the look-out for passionate and talented students, PhD and post-doctoral scholars to engage with us on the project. Interested individuals are encouraged to contact me.


  • Under Construction, your patience appreciated