Your experience on this site will be improved by allowing cookies
Prof. B. Srivathsan obtained his B. Tech and M. Tech (CSE) from IIT Bombay; and Ph.D from the University of Bordeaux, France. He worked as a post-doctoral researcher at RWTH university - Aachen, Germany. He has been a faculty member at CMI since 2013. His main research interest is in the formal verification of real-time systems.
Prof.