Madhavan Mukund
Professor and Dean of Studies
Computer Science
Chennai Mathematical Institute
India
Biography
Madhavan Mukund received his B.Tech. (Computer Science) degree from the Indian Institute of Technology, Bombay (1986) and his Ph.D. from Aarhus University, Aarhus, Denmark (1992). He is a member of the Executive Council and the Secretary of the Indian Association for Research in Computing Science (IARCS). He is also a member of the Council of the European Association for Theoretical Computer Science (EATCS).
Research Interest
His research interests are: Partial order based models for concurrent systems and Logics for specifying and verifying concurrent systems.
