Kohei Kishida

I am an associate professor at the Department of Philosophy,
a member of the Illinois Quantum Information Science and Technology Center (IQUIST),
and an affiliate associate professor at the Department of Mathematics
and the Siebel School of Computing and Data Science,
University of Illinois, Urbana-Champaign.

My primary interest is in
- Mathematical and Philosophical Logic; Category Theory;
- Foundations of Quantum Physics and Computer Science,
and I have publications at venues not only in philosophy, computer science, and physics, but also linguistics, mathematical psychology, etc. (see the Publications section below).

Page index: CV / Academic Positions / Videos and Slides / Links to Selected Publications

CV

Here is my current CV.

Academic Positions

Videos and Slides

Here are some videos, slides, and poster of my past lectures and talks:

  • Slides for an invited lecture at ESSLLI 2023 (Aug 2023)
  • Slides for an invited lecture at LENLS 19 (Nov 2022)
  • Video of a talk at Logic in Computer Science 2020 (July 2020, joint with Frank Fu and Peter Selinger)
  • Video of a talk at University of Melbourne Logic Group (May 2020)
  • Slides for a talk at the First Symposium on Compositional Structures (Sept 2018)
  • Poster for a talk at Theoretical Aspects of Rationality and Knowledge 2017 (July 2017)
  • Slides for a talk at the Dept. of Physics and Astronomy, Univ. of British Columbia (May 2017)
  • Video of a tutorial lecture at Quantum Physics and Logic 2016 (June 2016)

Links to Selected Publications

You can also check out my Google Scholar and ORCID pages. By the way, my Erdős number is 3 (Paul Erdős—Joel Spencer—Nuel Belnap—KK).

Book chapters

  1. ``Gödel, Escher, Bell: Contextual Semantics of Logical Paradoxes'', in Alessandra Palmigiano and Mehrnoosh Sadrzadeh, eds., Samson Abramsky on Logic and Structure in Computer Science and Beyond, Outstanding Contributions to Logic series, Springer, 2023, pp. 531–572
    [Publisher Website]
  2. ``Categories and Modalities'', in Elaine Landry, ed., Categories for the Working Philosopher, Oxford University Press, 2017, pp. 163–222
    [Publisher Website]

Refereed articles

  1. ``Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach'', in Daisuke Bekki, Koji Mineshima, and Elin McCready, eds., Postproceedings of the Logic and Engineering of Natural Language Semantics 20 (LENLS20), Springer, 2024, pp. 321–336
    [SpringerLink]
  2. ``A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting'' (with Peng Fu, N. Julien Ross, and Peter Selinger), in Stefano Gogioso and Matty Hoban, eds., Proceedings of the 19th International Conference on Quantum Physics and Logic (QPL 2022), Electronic Proceedings in Theoretical Computer Science 394 (2023), pp. 302–342
    [EPTCS Website]
  3. ``Proto-Quipper with Dynamic Lifting'' (with Peng Fu, N. Julien Ross, and Peter Selinger), in Proceedings of the ACM on Programming Languages 7, Issue POPL, 309–334
    [ACM Digital Library]
  4. ``Linear Dependent Type Theory for Quantum Programming Languages'' (with Peng Fu and Peter Selinger), Logical Methods in Computer Science 18:3 (2022), 28:1–28:44
    [Episciences Website]
  5. ``Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract'' (with Peng Fu and Peter Selinger), in Holger Hermanns, Lijun Zhang, and Naoki Kobayashi, eds., LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery, 2020, pp. 440–453
    [ACM Digital Library]
  6. ``Minimum Quantum Resources for Strong Non-Locality'' (with Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Nadish de Silva, and Shane Mansfield), in Mark M. Wilde, ed., Twelfth Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017), Leibniz International Proceedings in Informatics 73 (2018), pp. 9:1–9:20
    [LIPIcs Website]
  7. ``Categories for Dynamic Epistemic Logic'', in Jérôme Lang, ed., Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Electronic Proceedings in Theoretical Computer Science 251 (2017), pp. 353–372
    [EPTCS Website]
  8. ``Logic of Local Inference for Contextuality in Quantum Physics and Beyond'', in Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi, eds., Forty-Third International Colloquium on Automata, Languages, and Programming (ICALP 2016), Leibniz International Proceedings in Informatics 55 (2016), pp. 113:1–113:14
    [LIPIcs Website]
  9. ``Possibilities Determine the Combinatorial Structure of Probability Polytopes'' (with Samson Abramsky, Rui Soares Barbosa, Raymond Lal, and Shane Mansfield), Journal of Mathematical Psychology 74 (2016), 58–65
    [SpringerLink]
  10. ``Contextuality, Cohomology, and Paradox'' (with Samson Abramsky, Rui Soares Barbosa, Raymond Lal, and Shane Mansfield), in Stephan Kreutzer, ed., Twenty-Fourth EACSL Annual Conference on Computer Science Logic (CSL 2015), Leibniz International Proceedings in Informatics 41 (2015), pp. 211–228
    [LIPIcs Website]
  11. ``Topos Semantics for Higher-Order Modal Logic'' (with Steve Awodey and Hans-Christoph Kotzsch), Logique et Analyse 228 (2014), 591–636
    [Journal Website, arXiv]
  12. ``Stochastic Relational Presheaves and Dynamic Logic for Contextuality'', in Bob Coecke, Ichiro Hasuo and Prakash Panangaden, eds., Proceedings Eleventh Workshop on Quantum Physics and Logic (QPL 2014), Kyoto, Japan, 4–6th June 2014, Electronic Proceedings in Theoretical Computer Science 172 (2014), pp. 115–132
    [EPTCS Website]
  13. ``Public Announcements under Sheaves'', in Y. Motomura, Y. Butler, and D. Bekki, eds., New Frontiers in Artificial Intelligence: JSAI-isAI 2012, LNCS 7856, Springer, 2013, pp. 96–108, 2013.
    [SpringerLink]
  14. ``On Topological Issues of Indeterminism'' (with Tomasz Placek and Nuel Belnap), Erkenntnis, Online First, appeared on May 14, 2013
    [SpringerLink]
  15. ``Topological Completeness of First-Order Modal Logic'' (with Steve Awodey), in Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Larry Moss, eds., Advances in Modal Logic Volume 9, London: College Publications, 2012, pp. 1–17
    [AiML Website (pdf)]
  16. ``Neighborhood-Sheaf Semantics for First-Order Modal Logic,'' Electronic Notes in Theoretical Computer Science 278 (2011), 129–143
    [ScienceDirect]
  17. ``Topology and Modality: The Topological Interpretation of First-Order Modal Logic'' (with Steve Awodey), Review of Symbolic Logic 1 (2008), 146–166
    [Cambridge Journals Online]
  18. ``Funny Business in Branching Space-Times: Infinite Modal Correlations'' (with Thomas Müller and Nuel Belnap), Synthese 164 (2008), 141–159
    [SpringerLink]

Contact

Department of Philosophy
University of Illinois, Urbana-Champaign
200 Gregory Hall
810 S Wright St
Urbana, IL 61801

Email: kkishida [[at]] illinois [[dot]] edu; kishidakohei [[at]] gmail [[dot]] com