Prof Madhavan Mukund studied at IIT Bombay (BTech) and Aarhus University (PhD). He has been a faculty member at Chennai Mathematical Institute since 1992, where he is presently Distinguished Professor, Deputy Director and Dean of Studies.
His main research area is formal verification. He is Director of the Indo-French Research Lab in Computer Science set up in CMI by the French National Centre for Scientific Research (CNRS). He has served as President of both the ACM India Council and the Indian Association for Research in Computing Science (IARCS). He is a Fellow of the Indian Academy of Sciences.
He is also passionate about CS education. He has been the National Coordinator of the Indian Computing Olympiad since 2002 and regularly teaches online courses on algorithms, programming and data structures for the National Programme for Technology Enhanced Learning (NPTEL) project of HRD Ministry, Government of India. He plays an active role in ACM India’s CSpathshala initiative to introduce computational thinking in schools.