Venkatesh Choppella is Associate Professor at the International Institute of Information Technology Hyderabad, India. He was also associated with Indian Institute of Information Technology and Management – Kerala, Trivandrum, and is currently adjunct faculty at IIIT Bangalore.
He has held research and engineering positions in Hewlett Packard, Xerox Palo Alto Research Centre, Oak Ridge National Laboratory, and the Ohio State University in the United States. He holds a PhD. degree in Computer Science from Indiana University, Bloomington, USA, and Bachelors and Masters degrees from the Indian Institutes of Technology, Kanpur and Madras, respectively.
Venkatesh's current research interests are in formal methods and software architectures. In addition, he has an interest in computer science education and FOSS-based educational technology. He has published over 40 research papers and technical reports in the area of automated deduction, type systems, formal methods, and compilers for high performance computing. He holds one US patent.
- Programming Languages
- S/W Architectures
- Formal Methods
- CS Education