Krishnendu Chatterjee

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 Ksenja Harpprecht (Email: ksenja.harpprecht fill in rest) Phone: +43-2243-9000-1015

Announcement Due to personal reasons I am minimizing my travels!

Research Group Current Members: (1) Raimundo Saona (PhD Student); (2) Jakub Svoboda (PhD Student); (3) Valentin Hubner (PhD Student); (4) Ali Asadi (PhD Student); (5) Mehrdad Karrabi (PhD Student); (6) Ehsan Kafshdar Goharshady (PhD Student); (7) Maximilian Weininger (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; (37) Tushar Gautam; (38) Ali Asadi; (39) Parsa Mirtaheri; (40) Farbod Ekabatani; (41) Raimundo Saona; (42) Ehsan Kafshdar Goharshady.

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; (11) Christian Hilbe; (12) Mingzhang Huang; (13) Ismael Jacker; (14) Maria Kleshnina; (15) Tobias Meggendorfer.

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.
(4) Josef Tkadlec; Thesis:A role of graphs in evolutionary processes.
(5) Amir Kafshdar Goharshady; Thesis:Parameterized and Algebro-geometric Advances in Static Program Analysis [Outstanding PhD Thesis, IST Austria; ACSD YE Award; EAPLS Award].
(6) Viktor Toman; Thesis: Improved Verifcation Techniques for Concurrent Systems.
(7) Laura Schmid; Thesis: Evolution of cooperation via (in)direct reciprocity under imperfect information.
(8) Djordje Zikelic; Thesis: Automated Verification and Control of Infinite-state Stochastic Systems. [Outstanding Scientific Achievement, IST Austria, with M. Lechner]

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, RADICAL 2019, GAMENET Poster 2019, CSL 2020, MFCS 2020, ATVA 2020, ATVA 2021, HIGHLIGHTHS 2023, SPIN 2023, ATVA 2023, LPAR 2023, LAMAS-SR 2023, LPAR 2024, MFCS 2024.

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

Editorial Board: IPL (Information Processing Letters) 2014-2019; 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)
Spring 2019: Computer Science Core Course (cotaught with Vladimir Kolmogorov and Krzysztof Piterzak)
Spring 2020: Advanced Formal Methods
Spring 2020: Computer Science Core Course (cotaught with Dan Alistarh and Vladimir Kolmogorov)
Spring 2021: Advanced Formal Methods
Spring 2021: Computer Science Core Course (cotaught with Dan Alistarh and Vladimir Kolmogorov)
Spring 2022: Advanced Formal Methods
Spring 2022: Computer Science Core Course (cotaught with Dan Alistarh and Vladimir Kolmogorov)
Spring 2023: Advanced Formal Methods
Spring 2023: Computer Science Core Course (cotaught with Dan Alistarh and Vladimir Kolmogorov)

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 Apr 2021