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

Fu H, Chatterjee K. 2019. Termination of nondeterministic probabilistic programs (eds. C. Enea & R. Piskac). 11388, 468–490. View

Chatterjee K, Goharshady AK, Pourdamghani A. Probabilistic smart contracts: Secure randomness on the blockchain. IEEE International Conference on Blockchain and Cryptocurrency. IEEE International Conference on Blockchain and Cryptocurrency View

Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. Cost analysis of nondeterministic probabilistic programs. 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019). 40th ACM Conference on Programming Language Design and Implementation View

Huang M, Fu H, Chatterjee K. 2018. New approaches for almost-sure termination of probabilistic programs. 16th Asian Symposium on Programming Languages and Systems, APLAS, LNCS, vol. 11275. 181–201. View

Hilbe C, Schmid L, Tkadlec J, Chatterjee K, Nowak M. 2018. Indirect reciprocity with private noisy and incomplete information. PNAS. 115(48), 12241–12246. 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