Our main research interest is in the theoretical foundations of formal verification and game theory. Our current research focuses on stochastic game theory, probabilistic model checking, logic and automata theory, and quantitative theories of verification. In addition, we are also interested in algorithms for developing robust reputation and trust management systems for Wikipedia.

Krishnendu Chatterjee krishnendu.chatterjee@remove-this.ist.ac.at
IST Austria
Am Campus 1
3400 Klosterneuburg
Phone: +43/2243/9000-3201


Download CV & Publication list