Computerunterstützte Verifikation, Spieltheorie

Die Spieltheorie als Studium interaktiver Entscheidungsprobleme kann zur Erhellung von Problemen in Logik und Mengenlehre, Wirtschaft, Zell-, Bevölkerungs- und Evolutionsbiologie und der Entwicklung des Internet eingesetzt werden. Das Forschungsinteresse der Chatterjee Gruppe gilt den theoretischen Grundlagen der Spieltheorie und der formalen Verifikation. Die Spieltheorie zur formalen Verifikation von Software umfasst die algorithmische Analyse verschiedener Formen von Spielen auf Graphen. Dieses breite Rahmenwerk erlaubt nicht nur die wirksame Analyse vieler wichtiger Fragen der Computerwissenschaft, sondern unterstützt auch die Entwicklung von Softwaresystemen. Die Chatterjee Gruppe arbeitet an theoretischen Aspekten zum besseren Verständnis von Spielen und entwickelt neue Algorithmen, welche die theoretische Grundlage für die formale Verifikation von Systemen darstellen.

Kontakt
Krishnendu Chatterjee
Institute of Science and Technology Austria (IST Austria)
Am Campus 1
A – 3400 Klosterneuburg

Tel: +43 (0)2243 9000-3201
E-mail: krishnendu.chatterjee@remove-this.ist.ac.at

CV und Publikationsliste

Website der Chatterjee Group

Assistentin
Elisabeth Hacker

Tel: +43 (0)2243 9000-1015
E-mail: elisabeth.hacker@remove-this.ist.ac.at

Team

Aktuelle Projekte

  • Quantitative Verifikation
  • Stochastische Spieltheorie
  • Moderne Graphalgorithmen für Verifikationsprobleme
  • Evolutionäre Spieltheorie

Ausführlichere Informationen zur Forschungsgruppe entnehmen Sie bitte der englischen Version.

Ausgewählte Publikationen

  • Chatterjee K., Henzinger, M. 2011. Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification. Symposium on Discrete Algorithms
  • Chatterjee K. 2007. Concurrent games with tail objectives. Theoretical Computer Science 388:181-198.3.
  • Chatterjee K. 2005. Two-player non-zero sum omega-regular games. Concurrency Theory pp. 413-427.

Karriere
2009 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

To top