ad260@cam.ac.uk
Professorial Fellow
B.Tech (IIT, Delhi 1986), MS (Delaware, 1988), PhD, (Penn., 1993)
Logic in computer science
Computer Laboratory
Professor of Logic and Algorithms
Logic, Complexity theory, Quantum computing