best viewed at 1024x768px

Main Content

Ph.D. UC Berkeley, 2007
Professor
IST Austria
(Institute of Science and Technology Austria)
Coordinates Mail: Am Campus 1, IST Austria (Institute for Science and Technology, Austria) A-3400 Klosterneuburg, Austria
Email: Krishnendu.Chatterjee (at) ist.ac.at
Phone: +43 2243 9000 3201
Fax (not private): +43 2243 9000 2000

Curriculum Vitae Curriculum vitae

Secretary Elisabeth Hacker (Email: Elisabeth.Hacker@ fill in rest) Phone: +43-2243-9000-1015

Announcement Due to personal reasons I will not be able to travel in 2016!

Research Group Current Members: (1) Martin Chmelik (PhD Student); (2) Andreas Pavlogiannis (PhD Student); (3) Josef Tkadlec; (4) Rasmus Ibsen-Jensen (Post-doc); (5) Petr Novotny (Post-doc); (6) Hongfei Fu (Post-doc); (7) Ventsislav Chonev (Post-doc); (8) Christian Hilbe (Post-doc); (9) Tadeas Priklopil (Post-doc, joint with Nick Barton).

Alumni (Interns): (1) Samarth Mishra; (2) Anchit Gupta; (3) Yashdeep Godhal; (4) Nathanael Fijalkow; (5) Manas Joglekar; (6) Nisarg Shah; (7) Rohit Singh; (8) Pritish Kamath; (9) Siddhesh Chaubal; (10) Jean-Baptiste Courtois; (11) Umair Ahmed; (12) Ankush Das; (13) Ashwin Paranjpe; (14) Rasmus Ibsen-Jensen; (15) Jan Humplik; (16) Ayush Kanodia; (17) Raghav Gupta; (18) Prateesh Goyal; (19) Deepanjan Kundu; (20) Andreas Fellner; (21) Hasan Ferit Eniser; (22) Amir Kafshdar Goharshady; (23) Vineet Pandy.

Alumni (Post-docs): (1) Florian Horn; (2) Mathieu Tracol; (3) Sasha Rubin; (4) Benjamin Aminof; (5) Jan Kretinsky.

Alumni (Phd students): (1) Johannes Reiter.

Publications By year

Awards Awards

Past Event Vienna Summer of Logic 2014

ERC Project ERC Webpage

Professional Service PC Member: FOSSACS 2010, LICS 2010, CSL 2010, GandALF 2010, FOSSACS 2011, GandALF 2011, FORMATS 2011, FSTTCS 2011, FORMAL METHODS (FM) 2012, FORMATS 2012, MOVEP 2012, MFCS 2012, MEMICS 2012, FOSSACS 2013, CONCUR 2013, TASE 2013, RP 2013 , HIGHLIGHTS 2013, LPAR-19 2013, HSCC 2014, LICS 2014, CSL 2014, QAPL 2014, Strategic Reasoing (SR 2014), MOVEP 2014, Formal Methods Integration (FMi 2014), HSCC 2015, FOSSACS 2015, CAV 2015, QAPL 2015, RP 2015, FMi 2015, GANDALF 2015, Strategic Reasoing (SR 2015) (Upcoming), FORMATS 2015, MEMICS 2015, FICS 2015, Highlights 2015, POPL 2016 ERC, LPAR-20, TACAS 2016 (Upcoming), HSCC 2016 (Upcoming), ICALP 2016 (Track C) (Upcoming).

PC Chair: FORMATS 2010, GPMFV 2010, MFCS 2013, SYNT 2014.

Editorial Board: IPL (Information Processing Letters).

Teaching Spring 2010: Game Theory in Formal Verification.
Spring 2011: Advanced Topics in Graph Games
Fall 2011: Formal Methods (cotaught with Thomas A. Henzinger)
Spring 2012: Complexity Theory (cotaught with Krzysztof Piterzak)
Fall 2012: Formal Methods (cotaught with Thomas A. Henzinger)
Spring 2013: Complexity Theory (cotaught with Krzysztof Piterzak)
Winter 2013: Game Theory (blocked course in Winter School)
Fall 2013: Formal Methods (cotaught with Thomas A. Henzinger)
Spring 2015: Advanced Formal Methods

Research Interests Game theory in verification.
Quantitative verification.
Automata theory.
Evolutionary game theory.
Reputation and trust systems for Wikipedia.

Member Austrian Rigorous Systems Engineering

Last updated in August 2015