Research Agenda

My interests are in the broad area of Formal Methods, Artificial Intelligence, Software Engineering and Programming Languages.

Programs, today, are more than C/C++ code that we knew about---Software 2.0 is has penetrated deep into today's systems. The cool idea that PL/SE researchers use is that machine learning models are also programs.

Our group attempts to design new algorithms and develop automated tools to answer the following questions for both (conventional) programs as well as for machine learnt models: Towards solving these problems, we use formal methods (logic, automata theory, compiler design) and data-driven techniques (machine learning, artificial intelligence, statistics).