Biography
After obtaining a Ph.D. degree in Philosophy from the University of Pittsburgh, I did postdoctoral research in
- Institute for Artificial Intelligence and Cognitive Engineering, University of Groningen,
- Institute for Logic, Language and Computation, University of Amsterdam,
- Department of Computer Science, University of Oxford,
- Department of Mathematics and Statistics, Dalhousie University.
At Illinois, I am an associate professor in the Department of Philosophy, and also
- a member of the Illinois Quantum Information Science and Technology Center (IQUIST),
- an affiliate associate professor in the Department of Mathematics.
Research Interests
My primary interest is in
- Logic in Computer Science; 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, subject matter expert, Sept. 2020–Aug. 2021, team co-lead Sept. 2021–Aug. 2023
Additional Campus Affiliations
Member, Illinois Quantum Information Science and Technology Center
Affiliate Associate Professor, Department of Mathematics
Affiliate Associate professor, Department of Computer Science
External Links
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., Selinger, P., & Ross, N. J. (2023). A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting. Electronic Proceedings in Theoretical Computer Science, EPTCS, 394, 302-342. https://doi.org/10.4204/EPTCS.394.16
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
Kishida, K. (2023). Gödel, Escher, Bell: Contextual Semantics of Logical Paradoxes. In Outstanding Contributions to Logic (pp. 531-572). (Outstanding Contributions to Logic; Vol. 25). Springer. https://doi.org/10.1007/978-3-031-24117-8_14
Kishida, K. (2023). Modalities in the Type Theory of Quantum Programming. Electronic Proceedings in Theoretical Computer Science, EPTCS, 381, 1.
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