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
-
Director
Chennai Mathematical Institute
H1, SIPCOT IT Park, Siruseri
Kelambakkam 603 103, INDIA -
Phone: +91 44 7196 1000, +91 9444 992 990
-
Fax: +91 44 2747 0225
-
Email: [email protected]
