Professor & DeanMathematics Chennai Mathematical Institute India
PhD, Aarhus University, Denmark (1992) BTech, IIT Bombay (1986)
Formal verification Concurrency theory