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