Chennai Mathematical Institute

Academic Staff Profile



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

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

Areas of
Interest
  • Formal verification
  • Concurrency theory