Contact Us
We are taking you to another website now.
System security specialist working at system control center. Room is full of screens displaying various graphs

RESEARCH AREA

Foundations of Computing

Using the fundamentals of computer science to build complex and dependable systems

 

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

What’s your challenge?
Let’s work together to solve it.