Prof. Madhavan Mukund, CMI Director, researcher in distributed systems & formal methods.
Professor Madhavan Mukund is the Director and a Professor at the Chennai Mathematical Institute (CMI), where he also serves as Dean of Studies and Co-Director of the Indo-French Formal Methods Lab (ReLaX), in collaboration with CNRS. He earned his B.Tech. in Computer Science from IIT Bombay (1986) and Ph.D. in Computer Science from Aarhus University (1992). His research spans concurrent and distributed systems, formal verification, and distributed algorithms. A dedicated educator and advocate, he has been the National Coordinator of the Indian Computing Olympiad since 2002 and has held leadership roles in IARCS and ACM India.
