Research interests: Stochastic game theory, Probabilistic model checking, Game theory, Logic and Automata Theory, Quantitative theory of verification, Reputation and trust management systems for Wikipedia.
Current research:
- Game theory: This project involves algorithmic analysis of various forms of games played on graph. The central question of synthesis as well as many important questions in computer science can be analyzed effectively in the broad framework of games on graphs. In this project we work on theoretical aspects of better understanding of games, developing new algorithms, as well as practical applications of game solving.
- Quantitative verification: The classical boolean theory of verification has wide range of applications. Still there are wide range of applications where a more quantitative approach is necessary. In this work we have been developing a framework to specify quantitative properties, answer the classical questions related to the classical boolean theory of verification, as well prove interesting robustness results.
- Reputation and trust management system: In this work we present robust algorithms for automatically computing reputation of authors and trust of text of an articles in Wikipedia. The algorithms are based on the content evolution of Wikipedia articles, and is completely automatic.