Группа Чаттерджи изучает применение теории игр к системам автоматизированной верификации. Сейчас исследователи занимаются играми, проводимыми на графах, с целью создания автоматизированных инструментов, помогающих в разработке реагирующих программных систем, в частности, операционных. Цель исследования — выработать новые методы верификации таких систем.

Обычно ОС для верификации моделируются в виде графов, на которых проводятся специальные игры. Сам Чаттерджи сравнивает такие игры с шахматами: вершины графов представляют собой состояния системы (позиции фигур на шахматной доске), а ребра — действия игроков (ходы). Задача разработчиков — обеспечить корректное поведение системы при любых действиях игроков-пользователей.

Microsoft, как создателя операционных систем, заинтересовала работа Чаттерджи. Его команда будет сотрудничать с исследователями корпорации, работающими в США и Индии.