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.


On this site:


Team


Laufende Projekte

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


Publikationen

Chatterjee K, Doyen L. 2022. Graph planning with expected finite horizon. Journal of Computer and System Sciences. 129, 1–21. View

Graham T, Kleshnina M, Filar JA. 2022. Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. View

Chatterjee K, Saona Urmeneta RJ, Ziliotto B. 2022. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 47(1), 100–119. View

Svoboda J, Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. 2022. Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports. 12(1), 1526. View

Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2021. Index appearance record with preorders. Acta Informatica. View

Zu Allen Publikationen

ReX-Link: Krishnendu Chatterjee


Karriere

seit 2014 Professor, Institute of Science and Technology Austria (ISTA)
2009 – 2014 Assistant Professor, Institute of Science and Technology Austria (ISTA)
2008 – 2009 Postdoc, University of California, Santa Cruz, USA
2007 PhD, University of California, Berkeley, USA


Ausgewählte Auszeichnungen

2019 ERC Consolidator Grant
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

Open Chatterjee website



Nach Oben