Autumn semester-2014
|
- Algorithm and complexity
- Software Lab
- Concepts,Algorithms and Tools for model checking
- Artificial intellingence
|
Spring semester-2015
|
- Communication skill-1
- communication skill-2
- Special topics in logics and automata
- GIS
- Mobile Computing
|
Autumn semester-2015
|
- Program Analysis
- Computer Network
- Embedded Systems
|
Spring semester-2016
|
- Seminar in Horizonatal scalability under Guide: Mythili Vutukuru
|