810 S. Wright Street
Urbana, IL 61801
Kohei Kishida is a logician-philosopher working on foundations of quantum physics, information, and computing. His research in QIS centers on quantum non-locality and contextuality as computational resources. He also investigates theoretical aspects of and formal methods for quantum programming languages.