The Chatterjee group is interested in the theoretical foundations of game theory and formal verification. Game theory in the formal verification of software involves the algorithmic analysis of various forms of games played on graphs. This broad framework allows effective analysis of many important questions of computer science and helps in the development of software systems. The Chatterjee group works on theoretical aspects for the better understanding of games and develops new algorithms, presenting the theoretical foundations for the formal verification of systems.
Privacy Overview
This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.
Powered by 