Venkatesh Choppella Teaching

Teaching

Monsoon 2018

Past semester courses

Programming Languages

Principles of Programming Languages
Monsoon 2018, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009.
Interpreters and Compilers
Spring 2004, IIITM-K

Mathematical theory of Programming Languages

Software Foundations
Spring 2016, 2015 (co-instructor with Prof. Suresh Purini).
Semantics of Programming Languages
Spring 2014, 2013
Topics in Programming Languages
Spring 2012

Web Technologies

IT Workshop 2
Spring 2017, 2011, 2010 at IIITH.
Web Technologies (all at IIITM-K)
Fall 2008 (feedback), 2007(course feedback | instructor feedback), 2006, (course feedback | instructor feedback | course report by instructor), Winter 2003.
Advanced Web Technologies
Spring 2004, IIITM-K

Introductory Programming for Post Graduates

Advanced Problem Solving
Monsoon 2018
Computer Problem Solving
Monsoon 2015, IIIT Hyderabad (feedback).
Programming Application Software
Fall 2009, IIIT Bangalore

Other courses

Data Structures and Algorithms
Spring 2009, IIITM Kerala
Computational Biology
Fall 2007, (co-instructor), IIITM-K
Scientific Computing
Fall 2006 (co-instructor), IIITM-K
Database Systems
Spring 2006, 2005 (co-instructor), IIITM-K
Mathematical Foundations of Information Technology
Winter 2004, IIITM-K

Short courses/workshops

Git Version Control
3 day short course July 24th–26th, 2017 at DRDO Hyderabad.
Virtual Labs on the College Cloud
2 day workshop for college teachers May 9th–10th 2017 at JUIT, Waknaghat, Himachal Pradesh.
Building a web application from Ground Up to the Cloud
3 week short course May 16th-Jun 4th 2016 for Virtual Labs summer interns at IIIT-H.
Dynamical Systems, Automata and Functional Programming
2 day short course at Goa University Academic Staff College (ASC) for college teachers. 13-14 Jan, 2014, Goa.
Mapcode and Computer Problem Solving
3 day short course for College Teachers at VNR Vignan Jyothi College, Hyderabad. May 27-29, 2013, Hyderabad. (co-instructor with Prof. KV Nori and Prof. K Swath).
Practical Program Verification
4 day short course under the Tata Excellence in Computer Science (TECS) Programme, TCS Hyderabad, 14-18th February, 2008 (Session on Day 1 on "Verification in the PVS theorem prover".)
Principles of Programming for the Web
11 day short course for Andhra Pradesh College Teachers under the Govt. India TEQIP Project organized by Enhance Edu. May 3-13, 2010, IIIT Hyderabad.

Author: Venkatesh Choppella

Created: 2018-10-01 Mon 01:15

Emacs 25.3.2 (Org mode 8.2.10)

Validate