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
Administrative Support
On this site:
Team
Laufende Projekte
Quantitative Verifikation | Stochastische Spieltheorie | Moderne Graph-Algorithmen für Verifikationsprobleme | Evolutionäre Spieltheorie
Publikationen
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2022. Sound and complete certificates for auantitative termination analysis of probabilistic programs. Proceedings of the 34th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13371, 55–78. View
Zikelic D, Chang B-YE, Bolignano P, Raimondi F. 2022. Differential cost analysis with simultaneous potentials and anti-potentials. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 442–457. View
Aichholzer O, Arroyo Guevara AM, Masárová Z, Parada I, Perz D, Pilz A, Tkadlec J, Vogtenhuber B. 2022. On compatible matchings. Journal of Graph Algorithms and Applications. 26(2), 225–240. View
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
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
