Sridhar Iyer: Research & Development Projects
|
My broad areas of research interest are: eLearning Technologies and Wireless Networking. More specifically:
I am interested in many aspects of elearning, such as the development of new/appropriate multimedia networking technology,
authoring tools, course material creation, impact assessment and management of distance education.
I am also interested in 'locally-relevant' aspects of networking, such as wireless networking protocols, adhoc/sensor networks and applications.
To get an idea of current research projects, take a look at my Students Page and Publications Page.
At IIT Bombay, I work with the faculty and students of the SYNERG Research Group
and also the Center for Distance Engineering Education Programme.
Previously, I have worked in some areas in program/protocol verification, with
the Center for Formal Design and Verification of Software.
I am also actively involved in the activities of the Center of Excellence in Wireless Technology.
PhD thesis:
Efficient reachability analysis for concurrent object-oriented programs. ---
[Paper] ---
[Prototype implementation (for analysis of Java programs)]
M.Tech thesis:
Distributed termination detection for dynamic systems. ---
[Paper]