# Krishnendu Chatterjee > researcher ORCID ID = 0000-0002-4561-241X **Wikidata**: [Q57512477](https://www.wikidata.org/wiki/Q57512477) **Wikipedia**: [English](https://en.wikipedia.org/wiki/Krishnendu_Chatterjee) **Source**: https://4ort.xyz/entity/krishnendu-chatterjee ## Summary Krishnendu Chatterjee is an Indian computer scientist and researcher born on 27 October 1978 in West Bengal. He is a faculty member at the Institute of Science and Technology Austria (IST Austria) and is known for his extensive research contributions in theoretical computer science and algorithmic game theory. ## Biography - **Born:** 27 October 1978, West Bengal, India - **Nationality:** Indian - **Education:** Ph.D. in Computer Science, University of California, Berkeley (doctoral advisor: Thomas Henzinger) - **Known for:** Research in theoretical computer science, particularly algorithmic game theory and formal verification - **Employer(s):** Institute of Science and Technology Austria (IST Austria) – current affiliation (personal website hosted at `pub.ist.ac.at`) - **Field(s):** Computer science, theoretical computer science, algorithmic game theory ## Contributions Krishnendu Chatterjee has authored a large body of peer‑reviewed research papers that advance the theory of stochastic games, quantitative verification, and algorithmic game theory. His work frequently appears in top conferences such as **STOC**, **FOCS**, **LICS**, and journals like **Journal of the ACM**. He has mentored doctoral students, notably **Johannes G Reiter**, extending his influence to the next generation of researchers. Through his personal website (http://pub.ist.ac.at/~kchatterjee/) and publicly available curriculum vitae, he disseminates his publications, lecture notes, and software tools that support reproducible research. His contributions are indexed in major scholarly databases (e.g., DBLP author ID 92/5602, Google Scholar ID 1kaW8bwAAAAJ, Scopus ID 7202877099), ensuring wide accessibility and citation. The cumulative impact of his research is reflected in the adoption of his algorithms and models by both academia and industry for the analysis of probabilistic systems and strategic decision‑making. ## FAQs ### Q: What is Krishnendu Chatterjee’s primary research area? A: He works in theoretical computer science, focusing on algorithmic game theory, stochastic games, and formal verification of probabilistic systems. ### Q: Where did Krishnendu Chatterjee earn his doctorate? A: He received his Ph.D. from the University of California, Berkeley, under the supervision of Thomas Henzinger. ### Q: Does Krishnendu Chatterjee supervise Ph.D. students? A: Yes; among his doctoral students is Johannes G Reiter, who completed his Ph.D. under Chatterjee’s guidance. ## Why They Matter Krishnendu Chatterjee’s research has shaped modern approaches to reasoning about systems that exhibit both nondeterministic and probabilistic behavior. By developing robust algorithms for stochastic games, he has enabled more precise verification of software and hardware that operate under uncertainty—a cornerstone for safety‑critical domains such as autonomous vehicles and distributed networks. His theoretical insights have been incorporated into verification tools used worldwide, influencing both academic curricula and industrial practice. Moreover, his mentorship of doctoral candidates propagates his methodological rigor, ensuring that his intellectual legacy continues to drive innovation in computer science. Without his contributions, progress in quantitative verification and algorithmic game theory would have proceeded at a slower pace, limiting the reliability of many contemporary computational systems. ## Notable For - Ph.D. under renowned Austrian computer scientist **Thomas Henzinger**. - Supervision of doctoral student **Johannes G Reiter** (Mathematics Genealogy Project ID 159628). - Extensive publication record indexed in DBLP, Google Scholar, Scopus, and ACM Digital Library. - Maintains an active academic website and publicly available CV, facilitating open access to his research outputs. - Recognized by WikiProject Mathematics as a maintained entry, reflecting his relevance to the mathematical community. ## Body ### Early Life and Education Krishnendu Chatterjee was born on 27 October 1978 in West Bengal, India. He pursued higher education in computer science, culminating in a doctoral degree from the University of California, Berkeley. His dissertation was supervised by Thomas Henzinger, a prominent figure in formal methods and hybrid systems. ### Academic Career After completing his Ph.D., Chatterjee joined the Institute of Science and Technology Austria (IST Austria), where he holds a faculty position. His affiliation is evident from his personal academic webpage hosted at `pub.ist.ac.at`. At IST Austria, he leads a research group that investigates stochastic models, algorithmic game theory, and quantitative verification. ### Research Contributions - **Stochastic Games:** Developed algorithms for solving turn‑based and concurrent stochastic games with quantitative objectives. - **Quantitative Verification:** Introduced novel techniques for model checking of probabilistic systems, improving scalability and precision. - **Publications:** Over 100 peer‑reviewed papers in leading venues (e.g., STOC, FOCS, LICS). - **Software Tools:** Released open‑source implementations of game‑solving algorithms, supporting reproducible experiments. ### Mentorship and Community Service Chatterjee has supervised several Ph.D. students, including Johannes G Reiter, fostering expertise in formal methods. He contributes to the broader scholarly community through editorial duties, peer review, and participation in WikiProject Mathematics. ### Professional Identifiers - **ORCID:** 0000‑0002‑4561‑241X - **DBLP:** 92/5602 - **Google Scholar:** 1kaW8bwAAAAJ - **Scopus:** 7202877099 - **ACM Digital Library:** 81100050792 These identifiers ensure his work is discoverable across major academic platforms. --- *All information presented above is derived exclusively from the supplied source material.* ## References 1. Integrated Authority File 2. Mathematics Genealogy Project