Associate Professor at the International Institute of Information Technology, Hyderabad, India.
- BTech Computer Science and Engg.: IIT Kanpur 1985
- MTech Computer Science and Engg.: IIT Madras 1987
- PhD Computer Science: Indiana University, Bloomington, USA, 2002
- Computer Science
- Programming Languages. Functional Programming. Type systems. Concurrency.
- Software Engineering
- Software Architectures. Formal Methods and Verification. Web security and accessibility.
- Education and Technology
- Programming Principles. Information Technology Workshop. Virtual Labs.
- Free and Open Source Software in Education and E-Governance.