UP | HOME

Venkatesh Choppella

Main

Associate Professor at the International Institute of Information Technology, Hyderabad, India.

Education

  • BTech Computer Science and Engg.: IIT Kanpur 1985
  • MTech Computer Science and Engg.: IIT Madras 1987
  • PhD Computer Science: Indiana University, Bloomington, USA, 2002

Interests

Computer Science
Programming Languages. Functional Programming. Type systems.
Software Engineering
Software Architectures. Formal Methods and Verification. Web security and accessibility.
Education and Technology
Programming Principles. Information Technology Workshop. Virtual Labs.
FOSS
Free and Open Source Software in Education and E-Governance.

Announcements

SAT+SMT 2018 @ IIIT Hyderabad, 6-8 December

If you are interested in attending, please complete the registration by Oct 10th by 2018.

ISEC 2019 @ Pune, 14-16 Feb 2019

Please submit a proposal/paper to Tutorials/Tech-Briefings or any other track by Oct 20th 2018.

T4E 2018 @ IIT Madras 10-13 December

Please consider attending.

Author: Venkatesh Choppella

Created: 2018-10-01 Mon 01:15

Emacs 25.3.2 (Org mode 8.2.10)

Validate