Skip to main content

Kohei Kishida

Associate Professor, Dept. of Philosophy

Research Interests

My primary interest is in

- Mathematical and Philosophical Logic; Category Theory;
- Foundations of Quantum Physics and Computer Science;
- History and Philosophy of Logic,

but I also have publications in venues in computer science, physics, linguistics, mathematical psychology, etc.

 

Education

Ph.D. (Philosophy), University of Pittsburgh
M.Sc. (Logic and Computation), Carnegie Mellon University
B.A. (Letters), Kyoto University

Grants

The National Science Foundation Convergence Accelerator program, QuSTEAM: Convergent Undergraduate Education in Quantum Science, Technology, Engineering, Arts, and Mathematics, Sept. 2020–Aug. 2023

Additional Campus Affiliations

Highlighted Publications

Fu, Peng, Kohei Kishida, N. Julien Ross, and Peter Selinger, "Proto-Quipper with Dynamic Lifting". Proceedings of the ACM on Programming Languages. 2023, 7, Issue POPL, 309–334. https://doi.org/10.1145/3571204

Fu, Peng, Kohei Kishida, and Peter Selinger, "Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract". Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM International Conference Proceeding Series. Association for Computing Machinery. 2020, 440–453. https://doi.org/10.1145/3373718.3394765

Kishida, Kohei, "Categories and Modalities". Landry, Elaine (editors). Categories for the Working Philosopher. Oxford University Press. 2018, 163–222. https://doi.org/10.1093/oso/9780198748991.003.0009

Kishida, Kohei,"Logic of local inference for contextuality in quantum physics and beyond"., Rabani, Yuval and Chatzigiannakis, Ioannis Sangiorgi, Davide Mitzenmacher, Michael (ed.). 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016. Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2016. https://doi.org/10.4230/LIPIcs.ICALP.2016.113

Abramsky, Samson et al., "Contextuality, cohomology and paradox". Kreutzer, Stephan (editors). 24th EACSL Annual Conference on Computer Science Logic, CSL 2015. Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2015, 211–228. https://doi.org/10.4230/LIPIcs.CSL.2015.211

Recent Publications

Fu, P., Kishida, K., Ross, N. J., & Selinger, P. (2023). Proto-Quipper with Dynamic Lifting. Proceedings of the ACM on Programming Languages, 7, 309-334. https://doi.org/10.1145/3571204

Fu, P., Kishida, K., Ross, N. J., & Selinger, P. (2022). Linear Dependent Type Theory for Quantum Programming Languages. Logical Methods in Computer Science, 18(3), 28:1–28:44. https://doi.org/10.46298/lmcs-18(3:28)2022

Kishida, K. (2022). Preface. Electronic Proceedings in Theoretical Computer Science, EPTCS, 372.

Fu, P., Kishida, K., Ross, N. J., & Selinger, P. (2020). A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. In I. Lanese, & M. Rawski (Eds.), Reversible Computation - 12th International Conference, RC 2020, Proceedings: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings (pp. 153-168). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12227 LNCS). Springer. https://doi.org/10.1007/978-3-030-52482-1_9

Fu, P., Kishida, K., & Selinger, P. (2020). Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 440-453). Article 3394765 (ACM International Conference Proceeding Series). Association for Computing Machinery. https://doi.org/10.1145/3373718.3394765

View all publications on Illinois Experts