MATHEMATIK UND INFORMATIK

Chatterjee Group

Computergestützte Verifikation, Spieltheorie

Das Leben ist ein Spiel – zumindest in der Theorie. Spieltheorie hat Auswirkungen auf die Verifikation der Richtigkeit von Computerhardware und -software, aber auch auf biologische Anwendungen, wie die evolutionäre Spieltheorie. Die Chatterjee Gruppe arbeitet an den theoretischen Grundlagen der Spieltheorie und behandelt damit zentrale Fragen der Informatik.

Spieltheorie untersucht interaktive Probleme der Entscheidungsfindung. Sie kann genutzt werden, um Probleme in der Logik, Automatentheorie, Wirtschaft, Evolutionsbiologie und dem Design des Internets zu untersuchen. Die Chatterjee Gruppe interessiert sich für die theoretischen Grundlagen der Spieltheorie, ihre Anwendung in der formalen Verifikation und für evolutionäre Spieltheorie. Spieltheorie für die formale Verifikation von Software umfasst die algorithmische Analyse verschiedener Formen von Spielen auf Graphen, wobei der Graph ein Modell für ein reaktives System ist. Dieses breite Rahmenwerk erlaubt die wirksame Analyse vieler wichtiger Fragen in der Informatik und hilft, robuste Systeme zu entwickeln. Die Chatterjee Gruppe arbeitet auch an algorithmischen Aspekten der evolutionären Spieltheorie an Graphen, wobei diesmal der Graph eine Populationsstruktur darstellt. Das Ziel dieser Forschung ist das bessere Verständnis der Spiele und die Entwicklung neuer Algorithmen.

Group Leader


On this site:


Team


Laufende Projekte

Quantitative Verifikation | Stochastische Spieltheorie | Moderne Graph-Algorithmen für Verifikationsprobleme | Evolutionäre Spieltheorie


Publikationen

Goharshady AK, Mohammadi F. 2019. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 193, 106665. View

Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. 2019. Strategy representation by decision trees with linear classifiers. 16th International Conference on Quantitative Evaluation of Systems. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11785. 109–128. View

Hauser OP, Hilbe C, Chatterjee K, Nowak MA. 2019. Social dilemmas among unequals. Nature. 572(7770), 524–527. View

Huang M, Fu H, Chatterjee K, Goharshady AK. Modular verification for almost-sure termination of probabilistic programs. Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications . OOPSLA: Object-oriented Programming, Systems, Languages and Applications View

Chatterjee K, Piterman N. 2019. Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140. 6. View

Zu Allen Publikationen

Karriere

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


Ausgewählte Auszeichnungen

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


Zusätzliche Informationen

Download CV
Open Chatterjee website



Nach Oben