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 am minimizing my travels!

Research Group Current Members: (1) Josef Tkadlec (PhD Student); (2) Amir Kafshdar Goharshady (PhD Student); (3) Viktor Toman (PhD Student); (4) Laura Schmid (PhD Student); (5) Christian Hilbe (Post-doc).

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 Pandey; (24) Stephan Simsa; (25) Aniket Muhrekar; (26) Kapil Vaidya; (27) Djorde Zikelic; (28) Sheshansh Agrawal; (29) Bhavya Chaudhuri; (30) Bartosz Bednarczyk; (31) Marek Chalupa; (32) Sriram Balasubramanian; (33) Deep Karkhanis; (34) Pouya Shati; (35) Arash Pourdamghani; (36) Jakub Svoboda.

Alumni (Post-docs): (1) Florian Horn; (2) Mathieu Tracol; (3) Sasha Rubin; (4) Benjamin Aminof; (5) Jan Kretinsky; (6) Hongfei Fu; (7) Ventsislav Chonev; (8) Tadeas Priklopil; (9) Rasmus Ibsen-Jensen; (10) Petr Novotny.

Alumni (Phd students):
(1) Johannes Reiter; Thesis:The subclonal evolution of cancer [Johannes Ritschl Dissertation Prize, Lower Austria].
(2) Martin Chmelik; Thesis:Algorithmic analysis of Partially Observable MDPs [Outstanding PhD Thesis, IST Austria].
(3) Andreas Pavlogiannis; Thesis:Algorithmic Advances in Program Analysis and Their Applications.

Publications By year

Awards Awards

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, HSCC 2016, ICALP 2016 (Track C), ATVA 2016, RP 2016, MOVEP 2016, SR 2016, GANDALF 2016, FSTTCS 2016, POPL 2017 ERC, ICAPS 2017, ICALP 2017 (Track B); MoRe 2018, RP 2018 , FSTTCS 2018; LATA 2019; ICALP 2019, QEST 2019, ATVA 2019.

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

Editorial Board: IPL (Information Processing Letters); I&C (Information and Computation).

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
Spring 2016: Computer Science Core Course (cotaught with Vladimir Kolmogorov and Krzysztof Piterzak)
Spring 2017: Advanced Formal Methods
Spring 2017: Computer Science Core Course (cotaught with Vladimir Kolmogorov and Krzysztof Piterzak)
Spring 2018: Advanced Formal Methods
Spring 2018: Computer Science Core Course (cotaught with Vladimir Kolmogorov and Krzysztof Piterzak)

Research Interests Game theory in verification.
Quantitative verification.
Automata theory.
Graph algorithmic approaches for verification.
Evolutionary game theory.
Computational problems in evolutionary graph theory.

Member Austrian Rigorous Systems Engineering

Last updated in August 2016