Chennai Mathematical Institute

Academic Staff Profile



[Section Menu]
Loading photo ...
Madhavan Mukund
Director
madhavan at cmi dot ac dot in

Qualifications

  • PhD, Aarhus University, Denmark (1992)
  • BTech, IIT Bombay (1986)

Areas of
Interest

  • Formal verification
  • Concurrency theory