best viewed at 1024x768px

Main Content

Ph.D. UC Berkeley, 2007
Asst. 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
Secretary Elisabeth Hacker (Email: Elisabeth.Hacker@ fill in rest) Phone: +43-2243-9000-1015
Research Group Current Members: (1) Johannes Reiter (PhD Student); (2) Martin Chmelik (PhD Student); (3) Andreas Pavlogiannis (PhD Student); (4) Benjamin Aminof (Post-doc) (5) Sasha Rubin (Post-doc), (6) Rasmus Ibsen-Jensen (Post-doc), (7) Jan Kretinsky (Post-doc).
Alumni: (1) FLorian Horn (Post-doc); (2) Mathieu Tracol (Post-doc); (3) Yashdeep Godhal (Intern); (4) Nathanael Fijalkow (Intern); (5) Manas Joglekar (Intern); (6) Nisarg Shah (Intern); (7) Rohit Singh (Intern); (8) Pritish Kamath (Intern); (9) Siddhesh Chaubal (Intern); (10) Jean-Baptiste Courtois (Intern); (11) Umair Ahmed (Intern); (12) Ankush Das (Intern); (13) Ashwin Paranjpe (Intern); (14) Rasmus Ibsen-Jensen (Intern); (15) Jan Humplik (Intern); (16) Ayush Kanodia (Intern); (17) Raghav Gupta (Intern).
Publications By year
Awards Awards
Upcoming 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 (Upcoming), CSL 2014 (Upcoming), QAPL 2014 (Upcoming), Strategic Reasoing (SR 2014) (Upcoming), MOVEP 2014 (Upcoming), Formal Methods Integration (FMi 2014) (Upcoming), FOSSACS 2015 (Upcoming).
PC Chair: FORMATS 2010, GPMFV 2010, MFCS 2013, SYNT 2014 (Upcoming).
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)
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 2013