Guess What
Office: KReSIT 316
damani...cse...iitb..ac..in

Om P. Damani

Associate Professor
Dept. of Computer Science and Engineering,
IIT Bombay
Also associated with
Centre for Technology Alternatives for Rural Areas (CTARA)
My favourites:
Dijkstra: Computing Science's founding father
AID: Voluntary Org.
Narmada, Bhopal: Social Justice Causes

Academic Interests

System Design and Performance, Correct by Construction approach to Programming, System Dynamics.

Teaching

Spring 2013: CS 420 - Program Derivation
Earlier Courses

Selected Publications

PhD Students

Current: Prateek Kapadia, Dipak L. Chaudhari, Nikhil Hooda.
Graduated: Manoj K. Chinnakotla

MTech Students

External Interaction

Lifelong Education

Past Teaching

Autumn 2012: CS 420 - Program Derivation
Spring 2012: TD 604/TD 609 - System Dynamics & Social Science Research Methods / Field Work
Autumn 2011: CS 420 - Program Derivation
Spring 2011: CS 422 - System Specification & Implementation
Autumn 2010: CS 213 - Data Structures & Algorithms
Spring 2010: CS 420 - Program Derivation
Autumn 2009: CS 213 - Data Structures & Algorithms
Spring 2009: Natural Language Processing
Autumn 2008: Advanced Natural Language Processing
Spring 2008: Advanced Software Lab, Natural Language Processing
Autumn 2007: Advanced Software Lab, Linguistics and NLP(HS 620)
Autumn 2006: Foundations Lab
Spring 2006: Internet Technology
Spring 2005: New Trends in IT