Hello, I want to know the details of the professor of the IIT Mumbai, Om Damani. Please provide me.

Hello, here I am providing you the details of the professor of the IIT Mumbai, Om Damani as under:

Om P. Damani
Associate Professor
Dept. of Computer Science and Engineering,
IIT Bombay
Also associated with
Centre for Technology Alternatives for Rural Areas (CTARA)

Academic Interests
Technology for Development of the bottom 80% of the population, Correct by Construction Approach to Programming, System Dynamics, Natural Language Processing.

Software’s’ Developed
JalTantra: A System for Design and Optimization of Water Distribution Networks : Optimal, fast, and free.
CAPS: A Calculational Assistant for Programming from Specifications : Bugs free programming

Teaching
Spring 2016: CS 752 - System Dynamics : Modeling and Simulation for Development
Spring 2016: CS 152/154 - Abstractions and Paradigms for Programming

Selected Publications
Building an IDE for the Calculational Derivation of Imperative Programs - Dipak L. Chaudhari and Om P. Damani. 2nd Workshop on Formal-IDE, Formal Methods 2015.

Combining Top-down and Bottom-up Techniques in Program Derivation - Dipak L. Chaudhari and Om P. Damani. 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015.

Introducing Formal Methods via Program Derivation - Dipak L. Chaudhari and Om P. Damani. 20th Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE 2015.

Interference-constrained coverage algorithms in the protocol and SINR models - Prateek Kapadia, Om P. Damani, Animesh Kumar. Wireless Networks, November 2014.

A Domain-Restricted, Rule Based, English-Hindi Machine Translation System Based on Dependency Parsing - Pratik Desai, Amit Sangodkar, Om P. Damani. 11th International Conference on Natural Language Processing, ICON 2014.

A Stock and Flow Based Framework for Indicator Identification for Evaluation of Crop Production System - Siva Muthuprakash K. M. and Om P. Damani. The 32nd International Conference of the System Dynamics Society, SD 2014.

Automated Theorem Prover Assisted Program Calculations - Dipak L. Chaudhari and Om P. Damani. The 11th International Conference on Integrated Formal Methods, IFM 2014.

Appropriately Incorporating Statistical Significance in PMI - Om P. Damani and Shweta Ghonge. Conference on Empirical Methods on Natural Language Processing, EMNLP 2013.

Improving Pointwise Mutual Information (PMI) by Incorporating Significant Co-occurrence - Om P. Damani. 17th Conference on Computational Natural Language Learning, CoNLL 2013.

Noun Group and Verb Group Identification for Hindi - Smriti Singh, Om P. Damani, Vaijayanthi M. Sarma. 24th International Conference on Computational Linguistics, COLING 2012. pdf, ppt presentations.

Lifelong Education
2004+ Faculty Member, IIT Bombay.
2003-04 Research Staff Member, IBM T J Watson Research Lab, NY, USA.
1999-03 Research Scientist, Akamai Technologies Inc., Cambridge, MA, USA.
1994-99 Ph.D. in Computer Sciences, the University of Texas at Austin.
Dissertation: Optimistic Protocols for Fault-tolerance in Distributed Systems, Advisor: Prof. Vijay K. Garg.

1990-1994 B. Tech. in Computer Science and Engineering, IIT Kanpur.
1988-1990 Uchcha Madhyamik (Higher Secondary), St. Lawrence High School, Ballygunge, Kolkata.
1977-1988 Madhyamik (Secondary), Tantia High School, Burra Bazar, Kolkata.
1973-1977 Learning to cry, eat, speak, walk,..live.