Kohei Kishida

I am an assistant professor at the Department of Philosophy,
a member of the Illinois Quantum Information Science and Technology Center (IQUIST),
and an affiliate assistant professor at the Department of Mathematics,
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: Research / Academic Positions / Education / Grants / Fellowships / Selected Publications / Selected Presentations / Academic Service / Graduate Teaching / Undergraduate Teaching / Contact

You can also check out my Google Scholar and ORCID pages.

Research

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

  • 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 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 Dept. of Physics and Astronomy, Univ. of British Columbia (May 2017)
  • Video of a tutorial lecture at Quantum Physics and Logic 2016 (June 2016)

Also see the Selected Publications section for links to my published papers.

Academic Positions

Education

  • University of Pittsburgh, Department of Philosophy, Ph.D. in Philosophy, Dec. 2010
    Dissertation: Generalized Topological Semantics for First-Order Modal Logic
    Committee: Steve Awodey and Nuel Belnap (co-chairs), Robert Brandom, Kenneth Manders, Dana Scott
  • Carnegie Mellon University, Department of Philosophy, M.Sc. in Logic and Computation, Jul. 2007
    Thesis: Topological Semantics for First-Order Modal Logic
    Committee: Steve Awodey (chair), Jeremy Avigad
  • Kyoto University, Department of Philosophy and History of Science (Master's student, transferred)
  • Kyoto University, Department of Ethics, B.A. in Letters, Mar. 2000
    Thesis: Two Modalities in Deontic Logic (in Japanese)
    Committee: Soshichi Uchii (chair), Hisatake Kato, Masahiko Mizutani

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

Fellowships and awards

  • Humanities Released Time Award, University of Illinois at Urbana-Champaign, Jan.–May 2022
  • Alan Ross Anderson Fellowship, University of Pittsburgh, Aug. 2008–Apr. 2009
  • Andrew Mellon Predoctoral Fellowship, University of Pittsburgh, Aug. 2006–Apr. 2007
  • Arts and Sciences Graduate Fellowship, University of Pittsburgh, Aug. 2005–Aug. 2006
  • Alan Ross Anderson Fellowship, University of Pittsburgh, Jan.–Apr. 2005
  • Full-Tuition Scholarship, University of Pittsburgh, Aug. 2002–May 2003
  • Fulbright Scholarship for Graduate Study, U.S. Department of State and the Japan-U.S. Educational Commission, Aug. 2001–Aug. 2006

I was also interviewed as a finalist for the following fellowships. I withdraw my application from (1) due to a new appointment, and made to the reserve list for (2).

  1. University Research Fellowship, the Royal Society, United Kingdom, 2019
  2. University Research Fellowship, the Royal Society, United Kingdom, 2016
  3. Innovational Research Incentives Scheme Veni, the Netherlands Organisation for Scientific Research, 2013

Selected Publications

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., volume title TBD, Springer, forthcoming
  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. ``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), forthcoming
  2. ``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]
  3. ``A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper'' (with Peng Fu, N. Julien Ross, and Peter Selinger), in Ivan Lanese and Mariusz Rawski, eds., Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9--10, 2020, Proceedings, Springer, 2020, pp. 153–168
    [SpringerLink]
  4. ``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 Website]
  5. ``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]
  6. ``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]
  7. ``Relevance of Aristotle's Syllogistic Revisited'', accepted for Journal of Philosophical Logic
  8. ``Categorical Equivalence between Orthomodular Dynamic Algebras and Complete Orthomodular Lattices'' (with Soroush Rafiee Rad, Joshua Sack, and Shengyang Zhong), International Journal of Theoretical Physics 56 (2017), 4060–4072
    [SpringerLink]
  9. ``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]
  10. ``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]
  11. ``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]
  12. ``Duality for the Logic of Quantum Actions'' (with Jort Bergfeld, Joshua Sack, and Shengyang Zhong), Studia Logica 103 (2015), 781–805
    [SpringerLink]
  13. ``Topos Semantics for Higher-Order Modal Logic'' (with Steve Awodey and Hans-Christoph Kotzsch), Logique et Analyse 228 (2014), 591–636
    [Journal Website, arXiv]
  14. ``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]
  15. ``PLQP and Company: Decidable Logics for Quantum Algorithms'' (with Alexandru Baltag, Jort Bergfeld, Joshua Sack, Sonja Smets, and Shengyang Zhong), International Journal of Theoretical Physics 53 (2014), 3628–3647
    [SpringerLink]
  16. ``Quantum Probabilistic Dyadic Second-Order Logic'' (with Alexandru Baltag, Jort Bergfeld, Joshua Sack, Sonja Smets, and Shengyang Zhong), in L. Libkin, U. Kohlenbach, and R. de Queiroz, eds., Logic, Language, Information, and Computation: WoLLIC 2013, LNCS 8071, Berlin: Springer, 2013, pp. 64–80
    [SpringerLink]
  17. ``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]
  18. ``On Topological Issues of Indeterminism'' (with Tomasz Placek and Nuel Belnap), Erkenntnis, Online First, appeared on May 14, 2013
    [SpringerLink]
  19. ``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)]
  20. ``Neighborhood-Sheaf Semantics for First-Order Modal Logic,'' Electronic Notes in Theoretical Computer Science 278 (2011), 129–143
    [ScienceDirect]
  21. ``Neighborhood Incompatibility Semantics for Modal Logic,'' in Michal Peliš, ed., Logica Yearbook 2008, London: College Publications, 2009, pp. 79–89
  22. ``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]
  23. ``Funny Business in Branching Space-Times: Infinite Modal Correlations'' (with Thomas Müller and Nuel Belnap), Synthese 164 (2008), 141–159
    [SpringerLink]

Book Reviews

  1. ``Tero Tulenheimo, Objects and Modalities: A Study in the Semantics of Modal Logic'', Notre Dame Philosophical Reviews, Aug. 2018
    [NDPR Website]
  2. ``Johan van Benthem, Logical Dynamics of Information and Interaction'', Notre Dame Philosophical Reviews, Jul. 2012
    [NDPR Website]

Selected Presentations

Invited lectures and talks (since 2014, selected)

In total I have given 63 invited lectures, talks, and comments.

  1. ``Modal Logic for Metaphysics: Quantified Logic for Modal Reasoning and Theorizing'', Logic and Engineering of Natural Language Semantics 19 (LENLS19), University of Tokyo, Tokyo, Japan, scheduled on Nov. 19–21, 2022
  2. ``Linear Dependent Type Theory for Quantum Programming Languages and Its Categorical Semantics'' (in Japanese), Department of Information Sciences, Ochanomizu University, Tokyo, Japan, Jul. 14, 2022
  3. ``Gödel, Escher, Bell: A Topological Perspective of Quantum and Logical Paradoxes'', Center for Applied Philosophy and Ethics Lecture Series, Kyoto University, Kyoto, Japan, Jul. 7, 2022
  4. ``An Allegorical Semantics of Modal Logic'', Department of Philosophy, Kyoto University, Kyoto, Japan, Jul. 5, 2022
  5. ``Programming Physical Systems with Linear Dependent Type Theory'' (with Peng Fu and Peter Selinger), Physically Grounded Semantics for Programming Hybrid Dynamical Systems, mini-symposium at SIAM (Society for Industrial and Applied Mathematics) Conference on Control and Its Applications (CT21), Jul. 21, 2021
  6. ``Categorical Semantics for Quantum Programming Languages'', Logic, Quantum Computing, and Artificial Intelligence, Arak University, Iran, etc., scheduled on Jul. 2, 2021
  7. ``Quantum Paradoxes, Resources, and Programming'', Alumni Colloquium, Department of Philosophy, Carnegie Mellon University, Pittsburgh, U.S.A., Nov. 13, 2020
  8. ``Quantified Logic for Modal Reasoning and Theorizing'', Melbourne Logic Seminar, Melbourne Logic Group, University of Melbourne, Melbourne, Australia, and The Logic Supergroup, May 29, 2020
  9. ``Computer Science and Philosophy'', Introduction to Computer Science course, Department of Computer Science, University of Illinois at Urbana-Champaign, Champaign-Urbana, U.S.A., Nov. 20, 2019
  10. ``A Categorical Semantics for Linear (and Quantum) Dependent Type Theory'', Logic Seminar, Department of Mathematics, University of Illinois at Urbana-Champaign, Champaign-Urbana, U.S.A., Oct. 8, 2019
  11. ``Relevance and Reduction in Aristotle's Logic'', Center for Applied Philosophy and Ethics Lecture Series, Kyoto University, Kyoto, Japan, Jul. 10, 2019
  12. ``A Topological Approach to Quantum and Logical Paradoxes'', Quantum Foundations Lecture Series, Kyoto University, Kyoto, Japan, Jul. 8, 2019
  13. ``Probabilities, Graphs, Games, and Quantum Paradoxes'', Mathematics Honours Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Oct. 31, 2018
  14. ``Bicategories, Allegories, and Modal Logic, part 2'', Atlantic Category Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Oct. 23, 2018
  15. ``Bicategories, Allegories, and Modal Logic, part 1'', Atlantic Category Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Oct. 16, 2018
  16. ``A Higher-Duality and Allegorical Semantics for Modal Logic'', Quantum Whisky Seminar, University of Oxford, Oxford, United Kingdom, Sept. 18, 2018
  17. ``Topologies, Categories, and Modalities'', Applied Logic Seminar, Delft University of Technology, Delft, the Netherlands, Aug. 5, 2018
  18. ``A Logic of Contextuality, or `Topologically Constrained Constraint Satisfaction' '', Logical Aspects of Quantum Information, Lorentz Center, Leiden, the Netherlands, Aug. 1, 2018
  19. ``A Topological Approach to Quantum Contextuality'', RIMS Computer Science Seminar, Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, Jun. 28, 2018
  20. ``Intensional Quantified Logic for Modal Theorizing'', Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Jun. 1, 2018
  21. ``Probability and Topology of Quantum Non-Locality and Contextuality'', Dalhousie Mathematics Colloquium, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Mar. 15, 2018
  22. ``Non-Locality, Contextuality, and Topology'', Atlantic Category Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Sept. 12, 2017
  23. ``Contextuality, `All-vs-Nothing' Argument, and Cohomology'', Algebraic Structures in Quantum Computation II, Department of Physics and Astronomy, University of British Columbia, Vancouver, Canada, May 25, 2017
  24. ``Logic of Local Inference for Contextuality and Paradoxes'', Workshop on Compositionality, Simons Institute for the Theory of Computing, University of California Berkeley, Berkeley, United States, Dec. 8, 2016
  25. ``Non-Locality, Contextuality, and Topology'', CSULB Mathematics Colloquium, California State University Long Beach, Long Beach, United States, Dec. 2, 2016
  26. Tutorial lecture, ``Non-Locality, Contextuality, and Sheaves'', Thirteenth International Conference on Quantum Physics and Logic (QPL 2016), University of Strathclyde, Glasgow, United Kingdom, Jun. 6, 2016
  27. ``Geometrid Logic of Contextuality'', Workshop on Information and processes 2016, Fontainebleau, France, Apr. 26, 2016
  28. ``Duality in Logic and Computer Science'', Duality in Contemporary Mathematics: Philosophical Aspects, Bergische Universität Wuppertal, Wuppertal, Germany, Sept. 4, 2015
  29. ``Topology of Contextuality'', Centre for Quantum Information and Foundations Seminar, University of Cambridge, Cambridge, United Kingdom, Jun. 18, 2015
  30. ``Logic of Contextual Semantics'', Amsterdam Quantum Logic Workshop 2015, University of Amsterdam, Amsterdam, the Netherlands, May 7, 2015
  31. ``Sheaves for Dynamic Epistemic Logic'', Applied Logic Seminar, Delft University of Technology, Delft, the Netherlands, May 5, 2015
  32. ``Topology of Contextuality and Logical Paradoxes'', Workshop on Coalgebras in Quantum Physics, McGill University Bellairs Research Institute, St. James, Barbados, Mar. 17, 2015
  33. ``Topology of Logical Paradoxes'', Fifth Quantum Group Workshop, University of Oxford, Oxford, United Kingdom, Mar. 7, 2015
  34. ``Cohomology of Contextuality and Logical Paradoxes'', Birmingham Theoretical Computer Science Seminar, University of Birmingham, Birmingham, United Kingdom, Jan. 23, 2015
  35. ``Cohomology of Contextuality and Logical Paradoxes'', QMUL EECS Theory Group Seminar, Queen Mary University London, London, United Kingdom, Jan. 14, 2015
  36. ``Sheaves for Contextuality in the Quantum and Beyond'', Celebrating 10 Years of Categorical Quantum Mechanics, University of Oxford, Oxford, United Kingdom, Oct. 19, 2014
  37. ``Fibrational Models for Stochastic Dynamics'', Fibrations in Computation Workshop, University of Strathclyde, Glasgow, United Kingdom, Jun. 23, 2014
  38. ``Dynamic Logic for Contextuality'', Amsterdam Quantum Logic Workshop, University of Amsterdam, Amsterdam, the Netherlands, Apr. 2, 2014
  39. ``Topos Semantics for Higher-Order Modal Logic of Topology'', Seminar on Analytic Topology in Mathematics and Computer Science, University of Oxford, Oxford, United Kingdom, Mar. 5, 2014

Refereed talks (selected)

The listed talks were presented by Kishida unless noted otherwise.

  1. ``Proto-Quipper with Dynamic Lifting'' (with Peng Fu, N. Julien Ross, and Peter Selinger), conditionally accepted for Fiftieth ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023), Boston, United States, Jan. 18–20, 2023
  2. ``A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting'' (with Peng Fu, N. Julien Ross, and Peter Selinger, presented by Fu), Nineteenth International Conference on Quantum Physics and Logic (QPL 2022), University of Oxford, Oxford, United Kingdom, Jun. 28, 2022
  3. ``Proto-Quipper with Dynamic Lifting'' (with Peng Fu, N. Julien Ross, and Peter Selinger, presented by Fu), Nineteenth International Conference on Quantum Physics and Logic (QPL 2022), University of Oxford, Oxford, United Kingdom, Jun. 28, 2022
  4. ``Linear Dependent Type Theory for Quantum Programming Languages'' (with Peng Fu and Peter Selinger), Eighteenth International Conference on Quantum Physics and Logic (QPL 2021), University of Gdańsk, Gdańsk, Poland, Jun. 10, 2021
  5. ``A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper'' (with Peng Fu, Neil J. Ross, and Peter Selinger), Twelfth Conference on Reversible Computation (RC 2020), University of Oslo, Oslo, Norway, Jul. 10, 2020
  6. ``Linear Dependent Type Theory for Quantum Programming Languages'' (with Peng Fu and Peter Selinger, presented jointly), Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Saarland Informatics Campus, Saarbrücken, Germany, Jul. 8, 2020
  7. ``Categorical Equivalence between Orthocomplemented Quantales and Complete Orthomodular Lattices'' (with Soroush Rafiee Rad, Joshua Sack and Shengyang Zhong, presented by Sack), Fourth Symposium on Compositional Structures (SYCO 4), Chapman University, Orange, U.S.A., May 23, 2019
  8. ``An Allegorical Semantics of Modal Logic'', First Symposium on Compositional Structures (SYCO 1), University of Birmingham, Birmingham, United Kingdom, Sept. 20, 2018
  9. ``Categories for Dynamic Epistemic Logic'', Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), University of Liverpool, Liverpool, United Kingdom, Jul. 24, 2017
  10. ``Minimum Quantum Resources for Strong Non-Locality'' (with Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Nadish de Silva, and Shane Mansfield, presented by Carù), Fourteenth International Conference on Quantum Physics and Logic (QPL 2017), Radboud University, Nijmegen, the Netherlands, Jul. 7, 2017
  11. ``Logic of Local Inference for Contextuality in Quantum Physics and Beyond'', Forty-Third International Colloquium on Automata, Languages, and Programming (ICALP 2016), Rome, Italy, Jul. 14, 2016
  12. ``Contextuality, Cohomology, and Paradox'' (with Samson Abramsky, Raymond Lal, Shane Mansfield, and Rui Soares Barbosa, presented by Kishida), Twenty-Fourth EACSL Annual Conference on Computer Science Logic (CSL 2015), Technical University Berlin, Berlin, Germany, Sept. 8, 2015
  13. ``Contextuality, Cohomology, and Paradox'' (short contribution, with Samson Abramsky, Raymond Lal, Shane Mansfield, and Rui Soares Barbosa, presented by Kishida), Twelfth International Workshop on Quantum Physics and Logic (QPL 2015), University of Oxford, Oxford, July 15, 2015
  14. ``Stochastic Relational Presheaves and Dynamic Logic for Contextuality'', Eleventh International Workshop on Quantum Physics and Logic (QPL 2014), Kyoto University, Kyoto, Japan, Jun. 4, 2014
  15. ``Autonomy of Substructures and the Converse Barcan Formula'', Association for Symbolic Logic 2013 North American Annual Meeting, University of Waterloo, Canada, on May 8, 2013
  16. ``Public Announcement under Sheaves'', Logic and Engineering of Natural Language Semantics 9, Miyazaki, Japan, on Dec. 1, 2012
  17. ``Topological Completeness of First-Order Modal Logic'' (with Steve Awodey), Advances in Modal Logic 2012, Copenhagen, Denmark, on Aug. 23, 2012
  18. ``Decidability of Quantum Logics'' (with Alexandru Baltag, Jort Bergfeld, and Sonja Smets), Eleventh Biennial Meeting of the International Quantum Structure Association, University of Cagliari, Cagliari, Italy, on Jul. 25, 2012
  19. ``Neighborhood-Sheaf Semantics for First-Order Modal Logic,'' Seventh Workshop on Methods for Modalities, University of Osuna, Osuna, Spain, on Nov. 10, 2011
  20. ``A Sheaf Semantics for First-Order Epistemic Logic,'' Thirteenth Conference on Theoretical Aspects of Rationality and Knowledge, University of Groningen, Groningen, the Netherlands, on Jul. 14, 2011
  21. ``A Forgotten Trio: Classical Semantics for First-Order Non-Classical Logic,'' Mathematical Logic in the Netherlands 2011, University of Groningen, Groningen, the Netherlands, on May 19, 2011
  22. ``Sheaves for Neighborhoods,'' Category Theory NovemberFest, Carnegie Mellon University, Pittsburgh, U.S.A., on Nov. 14, 2009
  23. ``Neighborhood-Sheaf Semantics for First-Order Modal Logic,'' Association for Symbolic Logic 2008 Joint Meeting with the American Philosophical Association, Philadelphia, U.S.A., on Dec. 29, 2008
  24. ``Neighborhood Incompatibility Semantics for Modal Logic,'' Logica 2008 Symposium, Hejnice, The Czech Republic, on Jun. 18, 2008
  25. ``Topological Semantics for First-Order Modal Logic,'' Association for Symbolic Logic 2006 Annual Meeting, Université du Québec à Montréal, Montreal, Quebec, on May 20, 2006
  26. ``Topological Semantics for First-Order Modal Logic,'' Topos Theory Summer School in Haute Bodeux, Haute Bodeux, Belgium, on Jun. 3, 2005

Academic Service

Chair of Program Committees

  1. Fourth Annual International Conference on Applied Category Theory (ACT 2021), University of Cambridge, Cambridge, United Kingdom, Jul. 12–2163, 2021
  2. Fourth Symposium on Compositional Structures (SYCO 4), Chapman University, Orange, U.S.A., May 22–23, 2019

Member of Program Committees

  1. American Philosophical Association 2024 Central Division Meeting, New Orleans, U.S.A., Feb. 21–24, 2024
  2. Fiftieth International Colloquium on Automata, Languages, and Programming (ICALP 2023) Track B, Paderborn, Germany, Jul. 10–14, 2023
  3. Third International Workshop on Programming Languages for Quantum Computing (PLanQC 2022), Ljubljana, Slovenia, Sept. 11–16, 2022
  4. Fifth International Conference on Applied Category Theory (ACT 2022), University of Strathclyde, Glasgow, United Kingdom, Jul. 18–22, 2022
  5. Nineteenth International Conference on Quantum Physics and Logic (QPL 2022), University of of Oxford, Oxford, United Kingdom, Jun. 27–Jul. 1, 2022
  6. Eighteenth International Conference on Quantum Physics and Logic (QPL 2021), University of of Gdańsk, Gdańsk, Poland, Jun. 7–11, 2021
  7. Seventh Symposium on Compositional Structures (SYCO 7), Estonian Academy of Sciences, Tallinn, Estonia, Mar. 30–31, 2020
  8. Third Workshop on String Diagrams in Computation, Logic and Physics (STRINGS 3) and the Fifth Symposium on Compositional Structures (SYCO 5), University of Birmingham, Birmingham, United Kingdom, Sept. 4–6, 2019
  9. Seventh International Conference on Logic, Rationality and Interaction (LORI VII), South-West University, Chongqing, China, Oct. 18–21, 2019
  10. Sixteenth International Conference on Quantum Physics and Logic (QPL 2019), Chapman University, Orange, U.S.A., Jun. 10–14, 2019
  11. Third Symposium on Compositional Structures (SYCO 3), University of Oxford, Oxford, United Kingdom, Mar. 27–28, 2019
  12. Fifteenth International Conference on Quantum Physics and Logic (QPL 2018), Dalhousie University, Halifax, Canada, Jun. 3–7, 2018
  13. Fourteenth International Conference on Quantum Physics and Logic (QPL 2017), Radboud University, Nijmegen, the Netherlands, Jul. 3–7, 2017
  14. Sixth International Conference on Logic, Rationality and Interaction (LORI VI), Hokkaido University, Sapporo, Japan, Sept. 11–14, 2017
  15. Thirteenth International Conference on Quantum Physics and Logic (QPL 2016), University of Strathclyde, Glasgow, United Kingdom, Jun. 6–10, 2016
  16. European Summer School in Logic, Language and Information 2015 Student Session, Universitat Pompeu Fabra, Barcelona, Spain, Aug. 3–14, 2015
  17. European Summer School in Logic, Language and Information 2014 Student Session, University of Tübingen, Germany, Aug. 11–22, 2014
  18. PhDs in Logic V, Ludwig-Maximilian University Munich, Germany, scheduled Apr. 8–10, 2013

Reviewing for Research-Funding Bodies

  1. External reviewer, Discovery Grant: Mathematics and Statistics, the Natural Sciences and Engineering Research Council of Canada, Jan. 2016

Reviewing for Journals

  1. Annals of Pure and Applied Logic
  2. Compositionality
  3. Erkenntnis (2 papers)
  4. Journal of Logic, Language and Information
  5. Journal of Mathematical Psychology
  6. Journal of Philosophical Logic (2 papers)
  7. Logical Methods in Computer Science
  8. Proceedings of the Royal Society A
  9. Quantum
  10. Review of Symbolic Logic (3 papers)
  11. Studia Logica (3 papers)

Subreviewing for Conferences

  1. Forty-First conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), 2021
  2. Twenty-Ninth EACSL Annual Conference on Computer Science Logic (CSL 2021), 2020
  3. Forty-Seventh International Colloquium on Automata, Languages and Programming (ICALP 2020), 2020
  4. Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), 2020
  5. Q-Turn Workshop, 2018
  6. Advances in Modal Logic 2018, 2018
  7. Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), 2018
  8. Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), 2017
  9. Twenty-Fourth Workshop on Logic, Language, Information and Computation (WoLLIC 2017), 2017
  10. Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), 2017
  11. Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), 2016
  12. Nineteenth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016), 2016
  13. Twelfth International Workshop on Quantum Physics and Logic (QPL 2015), 2015
  14. Forty-Second International Colloquium on Automata, Languages and Programming (ICALP 2015), 2015
  15. International Conference on Autonomous Agents and Multiagent Systems (AAMAS) 2015, 2015
  16. Sixteenth Workshop on Programming and Programming Languages (PPL 2014), 2014
  17. Tenth Meeting of Logic and Engineering of Natural Language Semantics (LENLS 2013), 2013
  18. Computability in Europe 2013: The Nature of Computation, 2013
  19. Symposium on Logical Foundations of Computer Science (LFCS) 2013, 2013
  20. IFIP Theoretical Computer Science (TCS) 2012, 2012
  21. Nineteenth Workshop on Logic, Language, Information and Computation (WoLLIC 2012), 2012
  22. Thirteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2011), 2011
  23. Twenty-Second Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
  24. Pitt/CMU Philosophy Graduate Conference, 2003, 2004, 2010

Organizing Workshops

  1. Homotopy Type Theory Workshop, assistant organizer, University of Oxford, United Kingdom, on Nov. 7–10, 2014
  2. Mathematical Logic in the Netherlands 2011, co-organizer, University of Groningen, the Netherlands, on May 19–20, 2011
  3. Category Theory NovemberFest 2009, assistant organizer, Carnegie Mellon University, Pennsylvania, on Nov. 14–15, 2009
  4. Logics of Consequence: A Celebration of Nuel Belnap's Work in Philosophical Logic, assistant organizer, University of Pittsburgh, Pennsylvania, on Apr. 3–4, 2009

Organizing Seminar Series

  1. Quantum Lunch Seminar, convener, University of Oxford, United Kingdom, May 2014–Mar. 2017 (co-convener May–Jun. 2014 and Jan.–Mar. 2017)
  2. Logic and Interactive Rationality, co-organizer, University of Amsterdam, the Netherlands, Jan. 2012–Aug. 2013

Graduate Teaching

As independent instructor

  1. Philosophy of Logic: Modal Logic, University of Illinois at Urbana-Champaign, Fall 2020
  2. Advanced Symbolic Logic, University of Illinois at Urbana-Champaign, Spring 2020
  3. Categories, Proofs and Processes, lecturer, University of Oxford, Michaelmas Term 2016
  4. Topos Theory, independent study instructor, University of Oxford, Michaelmas Term 2014
  5. Topos Theory, independent study instructor, University of Amsterdam, Fall 2012
  6. Category Theory, lecturer, University of Amsterdam, Jun.–Jul., 2012
  7. Topics in Logic and Mathematics: Modal Logic, seminar co-instructor, Carnegie Mellon University, Spring 2009

As teaching assistant

  1. Advanced Logic (Nuel Belnap), University of Pittsburgh, Spring 2009

Serving thesis committees

  1. Christoph Dorn, DPhil status transfer viva, University of Oxford, on Dec. 2, 2015
  2. Julia Ilin, Master's thesis, University of Amsterdam, on Jan. 28, 2014
  3. Anthony Renard, Master's thesis, University of Amsterdam, on Sept. 13, 2013
  4. Maurice Pico, Master's thesis, University of Amsterdam, on Jul. 31, 2013

Undergraduate Teaching

As independent instructor

  1. Philosophical Foundations of Computer Science, University of Illinois at Urbana-Champaign, Fall 2020
  2. Symbolic Logic, University of Illinois at Urbana-Champaign, Spring 2020
  3. Advanced Symbolic Logic, University of Illinois at Urbana-Champaign, Spring 2020
  4. Symbolic Logic, University of Illinois at Urbana-Champaign, Fall 2019
  5. Discrete Structures II, lecturer, Dalhousie University, Winter Term 2018
  6. Categories, Proofs and Processes, lecturer, University of Oxford, Michaelmas Term 2016
  7. Introduction to Logic, University of Pittsburgh, Spring 2008
  8. Introduction to Logic (external studies), University of Pittsburgh, Fall 2006
  9. Introduction to Logic, University of Pittsburgh, Summer 2004

As teaching assistant (all at the University of Pittsburgh)

  1. Minds and Machines (Christopher Frey), Spring 2010
  2. Political Philosophy (Timothy Willenken), Fall 2009
  3. Introduction to Ethics (Kieran Setiya), Fall 2007
  4. Philosophy and Science (Gordon Belot), Fall 2004
  5. Introduction to Logic (Nuel Belnap), Spring 2004
  6. Introduction to Logic (Kenneth Manders), Fall 2003

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