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

Zeiner M, Schmid U, Chatterjee K. Optimal strategies for selecting coordinators. Discrete Applied Mathematics. View

Kaveh K, McAvoy A, Chatterjee K, Nowak MA. 2020. The Moran process on 2-chromatic graphs. PLOS Computational Biology. 16(11). View

Kleshnina M, Streipert S, Filar J, Chatterjee K. 2020. Prioritised learning in snowdrift-type games. Mathematics. 8(11). View

Pavlogiannis A, Schaumberger N, Schmid U, Chatterjee K. 2020. Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11), 3981–3992. View

Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. 2020. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 12302. 253–270. 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

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