Computer-aided Verification, Game Theory

Krishnendu Chatterjee

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.

Contact
Krishnendu Chatterjee
Institute of Science and Technology Austria (IST Austria)
Am Campus 1
A – 3400 Klosterneuburg

Phone: +43 (0)2243 9000-3201
E-mail: krishnendu.chatterjee@remove-this.ist.ac.at

CV & publication list

Chatterjee Group website

Assistant
Elisabeth Hacker

Phone: +43 (0)2243 9000-1015
E-mail: elisabeth.hacker@remove-this.ist.ac.at

Team

  • Benjamin Aminof, Postdoc
  • Martin Chmelik, PhD Student
  • Rasmus Ibsen-Jensen, Postdoc
  • Andreas Pavlogiannis, PhD Student
  • Johannes Reiter, PhD Student
  • Sasha Rubin, Postdoc

Current Projects

  • Quantitative verification
  • Stochastic Game Theory
  • Modern graph algorithms for verification problems
  • Evolutionary Game Theory

Selected Publications

  • Krishnendu Chatterjee and Laurent Doyen. Partial-Observation Stochastic Games: How to Win when Belief Fails Proc. of LICS, 2012.
  • Krishnendu Chatterjee and Monika Henzinger. An O(n^2) Time Algorithm for Alternating B\"uchi Games. Proc. of SODA, 2012.
  • Krishnendu Chatterjee, Luca de Alfaro and Thomas A. Henzinger. Qualitative Concurrent Parity Games ACM ToCL, 2011.

Career
2009 Assistant Professor, IST Austria
2008–2009 Postdoc, University of California, Santa Cruz, USA
2007 PhD, University of California, Berkeley, USA

Selected Distinctions
2011 Microsoft Research Faculty Fellowship
2011 ERC Starting Grant
2008 Ackerman Award, best thesis worldwide in Computer Science Logic
2007 David J. Sakrison Prize, best thesis in EECS, University of California, Berkeley, USA
2001 President of India Gold Medal, best IIT student of the year

To top