Madhavan Mukund


Research Interests

  • Models for concurrent and distributed systems

  • Formal verification

  • Distributed algorithms


Academic Background

  • PhD, Computer Science, Aarhus University (1992)

  • BTech, Computer Science and Engineering, Indian Institute of Technology Bombay (1986)


Contact Details

  • Professor and Dean of Studies
    Chennai Mathematical Institute
    H1, SIPCOT IT Park, Siruseri
    Kelambakkam 603 103, INDIA

  • Phone: +91 44 6748 0923 (direct), +91 44 6748 0900, +91 44 2747 0226-0229, +91 44 3298 3441-3442

  • Fax: +91 44 2747 0225

  • Email: madhavan@cmi.ac.in

  • My public PGP (GnuPG) key