Kohei Kishida

Kohei Kishida is an Associate Professor in the Department of Philosophy at the University of Illinois, Urbana-Champaign, with affiliate appointments in Mathematics and the Siebel School of Computing and Data Science. He is also a core member of the Illinois Quantum Information Science and Technology Center (IQUIST), reflecting his interdisciplinary research profile.

Education background includes:

• Ph.D. in Philosophy from University of Pittsburgh
• M.Sc. in Logic and Computation from Carnegie Mellon University
• B.A. in Letters from Kyoto University

His research bridges mathematical logic, quantum foundations, and computational theory. Primary investigations focus on:

• Category-theoretic approaches to modal logic and philosophical problems
• Formal foundations of quantum systems including contextuality and non-locality
• Quantum programming languages like Proto-Quipper with innovations in dynamic lifting and type systems

This work connects philosophy with cutting-edge developments in quantum computation and formal methods.

Publications demonstrate consistent focus on logical structures in quantum systems, with recent emphasis on quantum programming language design (2020-2024). Earlier work (2014-2017) established categorical frameworks for contextual quantum phenomena and epistemic logic. The trajectory shows deepening engagement with practical quantum computation alongside theoretical foundations.

Grants include significant NSF funding for quantum education:

• QuSTEAM: Convergent Undergraduate Education in Quantum Science, Technology, Engineering, Arts, and Mathematics (2020-2023)

He maintains active laboratory affiliations through IQUIST, collaborating across quantum information science disciplines. Previous positions include postdoctoral research at Oxford, Dalhousie University, and University of Amsterdam.