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