C. E. V. Madhavan

• Foundations of Software Technology and Theoretical Computer Science