Nonlocality and ContextualityThe Bell theorem and the Kochen-Specker theorem are two cornerstone results in the foundations of quantum theory. While the Bell theorem demonstrates that hidden variable theories based on the intuitive notions of local realism are incompatible with the statistical predictions of quantum theory so that quantum theory is "non-local", the Kochen-Specker theorem demonstrates the incompatibility of quantum theory with the assumption of "outcome non-contextuality", i.e., the outcomes of quantum measurements cannot be predefined in a manner independent of the measurement's context (the choice of jointly measurable tests that may be performed together).
Apart from their interest from the point of view of the foundations of quantum mechanics, nonlocality and to a lesser extent contextuality have also found applications in the fields of device-independent cryptography, randomness amplification and expansion. Furthermore, recently fruitful connections have been discovered between quantum nonlocality and computational complexity theory in the form of interactive proof systems or non-local games, the field of operator spaces in the form of noncommutative extensions of Banach spaces, the field of graph theory in determination of graph-theoretic parameters such as the maximum stable set and the Shannon capacity of a communication channel associated to a graph.
While quantum theory is known to be nonlocal and contextual, as evidenced by the violation of Bell inequalities and non-contextuality inequalities respectively, it is not the most nonlocal theory compatible with the relativistic principle of no superluminal communication. KCIK researchers have contributed to the field by proposing information-theoretic principles such as the Information Causality principle  and the Information Content principle  that help to pick out the set of quantum correlations from amongst all non-signalling ones. From the point of view of applications, KCIK researchers have utilized Bell inequalities to develop protocols for device-independent randomness amplification against general non-signalling adversaries . Connections with the field of communication complexity have been established and strengthened  and quantum realizations of extremal non-signalling correlations have been ruled out . Furthermore, measures of contextuality have been proposed  and an axiomatic framework for nonlocality and contextuality has been developed .
Furthermore, KCIK researchers proved that for every Bell’s inequality, including those which are not yet known, there always exists a communication complexity problem, for which a protocol assisted by states which violate the inequality is more efficient than any classical protocol. Violation of Bell’s inequalities is the necessary and sufficient condition for quantum protocol to beat the classical ones. Thus, violation of Bell's inequalities has a significance beyond that of a non-optimal-witness of non-separability .
 M. Pawłowski, T. Paterek, D. Kaszlikowski, V. Scarani, A. Winter, M. Żukowski, Information causality as a physical principle, Nature 461, 1101 (2009).