Overview

The foundations of computing research group aims to apply the fundamental concepts of computer science – such as logic, formal methods and artificial intelligence – to the development of complex dependable systems. This group develops tools and technologies that help in the development and analysis of complex intelligent systems.

Fields

This group works in the areas of:

• Development simplification: The group explores novel program synthesis techniques and formal notations that simplify the development of complex systems

• Practical verification: Verification tools and techniques developed by the group focus on verifying individual units of code, and not the entire system. This includes automatically building models of the rest of the system with the help of the unit code. The group also explores testing of AI and machine learning systems

• Artificial intelligence: In the field of AI, the group explores explainable AI through neural network alternatives to model knowledge and algorithms and learn from very few examples

People & Patents

• Research team: Shrawan Kumar; Ulka Shrotri; Ravindra Metta; Advaita Datar; Bharti Chimdyalwar; Anand Yeolekar; Prasad Bokil; Priyanka Darke; Tukaram Muske; Kumar Madhukar; Sumanth Prabhu; Anushri Jana; Amey Zare; Supriya Agrawal; Komal Pathade; Divyesh Unadkat

• Academic partners: IIT Bombay, India; Chennai Mathematical Institute, India; Technical University of Munich, Germany; Princeton University, USA; BITS Goa, India