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
 University of Illinois, UrbanaChampaign, assistant professor, Department of Philosophy, & member, the Illinois Quantum Information Science and Technology Center (IQUIST), Aug. 2019–current; affiliate assistant professor, Department of Mathematics, May 2021–current
 Dalhousie University, Department of Mathematics and Statistics, postdoc, Aug. 2017–Aug. 2019, assistant professor, Jan.–Apr. 2018
 University of Oxford, Department of Computer Science, postdoc, Sept. 2013–Jul. 2017
 University of Amsterdam, Institute for Logic, Language and Computation, postdoc, Jan. 2012–Aug. 2013
 University of Groningen, Institute for Artificial Intelligence and Cognitive Engineering, postdoc, Feb.–Dec. 2011
Education
 University of Pittsburgh, Department of Philosophy, Ph.D. in Philosophy, Dec. 2010
Dissertation: Generalized Topological Semantics for FirstOrder Modal Logic
Committee: Steve Awodey and Nuel Belnap (cochairs), Robert Brandom, Kenneth Manders, Dana Scott
 Carnegie Mellon University, Department of Philosophy, M.Sc. in Logic and Computation, Jul. 2007
Thesis: Topological Semantics for FirstOrder 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 colead, Sept. 2021–Aug. 2023
Fellowships and awards
 Humanities Released Time Award, University of Illinois at UrbanaChampaign, 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
 FullTuition Scholarship, University of Pittsburgh, Aug. 2002–May 2003
 Fulbright Scholarship for Graduate Study, U.S. Department of State and the JapanU.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).
 University Research Fellowship, the Royal Society, United Kingdom, 2019
 University Research Fellowship, the Royal Society, United Kingdom, 2016
 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
 ``Gödel, Escher, Bell: Contextual Semantics of Logical Paradoxes'', in Alessandra Palmigiano and Mehrnoosh Sadrzadeh, eds., volume title TBD, Springer, forthcoming
 ``Categories and Modalities'', in Elaine Landry, ed., Categories for the Working Philosopher, Oxford University Press, 2017, pp. 163–222
[Publisher Website]
Refereed articles
 ``A BisetEnriched Categorical Model for ProtoQuipper 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
 ``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]
 ``A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed ProtoQuipper'' (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 910, 2020, Proceedings, Springer, 2020, pp. 153–168
[SpringerLink]
 ``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]
 ``Minimum Quantum Resources for Strong NonLocality'' (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]
 ``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]
 ``Relevance of Aristotle's Syllogistic Revisited'', accepted for Journal of Philosophical Logic
 ``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]
 ``Logic of Local Inference for Contextuality in Quantum Physics and Beyond'', in Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi, eds., FortyThird International Colloquium on Automata, Languages, and Programming (ICALP 2016), Leibniz International Proceedings in Informatics 55 (2016), pp. 113:1–113:14
[LIPIcs Website]
 ``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]
 ``Contextuality, Cohomology, and Paradox'' (with Samson Abramsky, Rui Soares Barbosa, Raymond Lal, and Shane Mansfield), in Stephan Kreutzer, ed., TwentyFourth EACSL Annual Conference on Computer Science Logic (CSL 2015), Leibniz International Proceedings in Informatics 41 (2015), pp. 211–228
[LIPIcs Website]
 ``Duality for the Logic of Quantum Actions'' (with Jort Bergfeld, Joshua Sack, and Shengyang Zhong), Studia Logica 103 (2015), 781–805
[SpringerLink]
 ``Topos Semantics for HigherOrder Modal Logic'' (with Steve Awodey and HansChristoph Kotzsch), Logique et Analyse 228 (2014), 591–636
[Journal Website, arXiv]
 ``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]
 ``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]
 ``Quantum Probabilistic Dyadic SecondOrder 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]
 ``Public Announcements under Sheaves'', in Y. Motomura, Y. Butler, and D. Bekki, eds., New Frontiers in Artificial Intelligence: JSAIisAI 2012, LNCS 7856, Springer, 2013, pp. 96–108, 2013.
[SpringerLink]
 ``On Topological Issues of Indeterminism'' (with Tomasz Placek and Nuel Belnap), Erkenntnis, Online First, appeared on May 14, 2013
[SpringerLink]
 ``Topological Completeness of FirstOrder 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)]
 ``NeighborhoodSheaf Semantics for FirstOrder Modal Logic,'' Electronic Notes in Theoretical Computer Science 278 (2011), 129–143
[ScienceDirect]
 ``Neighborhood Incompatibility Semantics for Modal Logic,'' in Michal Peliš, ed., Logica Yearbook 2008, London: College Publications, 2009, pp. 79–89
 ``Topology and Modality: The Topological Interpretation of FirstOrder Modal Logic'' (with Steve Awodey), Review of Symbolic Logic 1 (2008), 146–166
[Cambridge Journals Online]
 ``Funny Business in Branching SpaceTimes: Infinite Modal Correlations'' (with Thomas Müller and Nuel Belnap), Synthese 164 (2008), 141–159
[SpringerLink]
Book Reviews
 ``Tero Tulenheimo, Objects and Modalities: A Study in the Semantics of Modal Logic'', Notre Dame Philosophical Reviews, Aug. 2018
[NDPR Website]
 ``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.
 ``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
 ``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
 ``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
 ``An Allegorical Semantics of Modal Logic'', Department of Philosophy, Kyoto University, Kyoto, Japan, Jul. 5, 2022
 ``Programming Physical Systems with Linear Dependent Type Theory'' (with Peng Fu and Peter Selinger), Physically Grounded Semantics for Programming Hybrid Dynamical Systems, minisymposium at SIAM (Society for Industrial and Applied Mathematics) Conference on Control and Its Applications (CT21), Jul. 21, 2021
 ``Categorical Semantics for Quantum Programming Languages'', Logic, Quantum Computing, and Artificial Intelligence, Arak University, Iran, etc., scheduled on Jul. 2, 2021
 ``Quantum Paradoxes, Resources, and Programming'', Alumni Colloquium, Department of Philosophy, Carnegie Mellon University, Pittsburgh, U.S.A., Nov. 13, 2020
 ``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
 ``Computer Science and Philosophy'', Introduction to Computer Science course, Department of Computer Science, University of Illinois at UrbanaChampaign, ChampaignUrbana, U.S.A., Nov. 20, 2019
 ``A Categorical Semantics for Linear (and Quantum) Dependent Type Theory'', Logic Seminar, Department of Mathematics, University of Illinois at UrbanaChampaign, ChampaignUrbana, U.S.A., Oct. 8, 2019
 ``Relevance and Reduction in Aristotle's Logic'', Center for Applied Philosophy and Ethics Lecture Series, Kyoto University, Kyoto, Japan, Jul. 10, 2019
 ``A Topological Approach to Quantum and Logical Paradoxes'', Quantum Foundations Lecture Series, Kyoto University, Kyoto, Japan, Jul. 8, 2019
 ``Probabilities, Graphs, Games, and Quantum Paradoxes'', Mathematics Honours Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Oct. 31, 2018
 ``Bicategories, Allegories, and Modal Logic, part 2'', Atlantic Category Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Oct. 23, 2018
 ``Bicategories, Allegories, and Modal Logic, part 1'', Atlantic Category Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Oct. 16, 2018
 ``A HigherDuality and Allegorical Semantics for Modal Logic'', Quantum Whisky Seminar, University of Oxford, Oxford, United Kingdom, Sept. 18, 2018
 ``Topologies, Categories, and Modalities'', Applied Logic Seminar, Delft University of Technology, Delft, the Netherlands, Aug. 5, 2018
 ``A Logic of Contextuality, or `Topologically Constrained Constraint Satisfaction' '', Logical Aspects of Quantum Information, Lorentz Center, Leiden, the Netherlands, Aug. 1, 2018
 ``A Topological Approach to Quantum Contextuality'', RIMS Computer Science Seminar, Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, Jun. 28, 2018
 ``Intensional Quantified Logic for Modal Theorizing'', Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Jun. 1, 2018
 ``Probability and Topology of Quantum NonLocality and Contextuality'', Dalhousie Mathematics Colloquium, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Mar. 15, 2018
 ``NonLocality, Contextuality, and Topology'', Atlantic Category Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Sept. 12, 2017
 ``Contextuality, `AllvsNothing' Argument, and Cohomology'', Algebraic Structures in Quantum Computation II, Department of Physics and Astronomy, University of British Columbia, Vancouver, Canada, May 25, 2017
 ``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
 ``NonLocality, Contextuality, and Topology'', CSULB Mathematics Colloquium, California State University Long Beach, Long Beach, United States, Dec. 2, 2016
 Tutorial lecture, ``NonLocality, Contextuality, and Sheaves'', Thirteenth International Conference on Quantum Physics and Logic (QPL 2016), University of Strathclyde, Glasgow, United Kingdom, Jun. 6, 2016
 ``Geometrid Logic of Contextuality'', Workshop on Information and processes 2016, Fontainebleau, France, Apr. 26, 2016
 ``Duality in Logic and Computer Science'', Duality in Contemporary Mathematics: Philosophical Aspects, Bergische Universität Wuppertal, Wuppertal, Germany, Sept. 4, 2015
 ``Topology of Contextuality'', Centre for Quantum Information and Foundations Seminar, University of Cambridge, Cambridge, United Kingdom, Jun. 18, 2015
 ``Logic of Contextual Semantics'', Amsterdam Quantum Logic Workshop 2015, University of Amsterdam, Amsterdam, the Netherlands, May 7, 2015
 ``Sheaves for Dynamic Epistemic Logic'', Applied Logic Seminar, Delft University of Technology, Delft, the Netherlands, May 5, 2015
 ``Topology of Contextuality and Logical Paradoxes'', Workshop on Coalgebras in Quantum Physics, McGill University Bellairs Research Institute, St. James, Barbados, Mar. 17, 2015
 ``Topology of Logical Paradoxes'', Fifth Quantum Group Workshop, University of Oxford, Oxford, United Kingdom, Mar. 7, 2015
 ``Cohomology of Contextuality and Logical Paradoxes'', Birmingham Theoretical Computer Science Seminar, University of Birmingham, Birmingham, United Kingdom, Jan. 23, 2015
 ``Cohomology of Contextuality and Logical Paradoxes'', QMUL EECS Theory Group Seminar, Queen Mary University London, London, United Kingdom, Jan. 14, 2015
 ``Sheaves for Contextuality in the Quantum and Beyond'', Celebrating 10 Years of Categorical Quantum Mechanics, University of Oxford, Oxford, United Kingdom, Oct. 19, 2014
 ``Fibrational Models for Stochastic Dynamics'', Fibrations in Computation Workshop, University of Strathclyde, Glasgow, United Kingdom, Jun. 23, 2014
 ``Dynamic Logic for Contextuality'', Amsterdam Quantum Logic Workshop, University of Amsterdam, Amsterdam, the Netherlands, Apr. 2, 2014
 ``Topos Semantics for HigherOrder 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.
 ``ProtoQuipper 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
 ``A BisetEnriched Categorical Model for ProtoQuipper 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
 ``ProtoQuipper 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
 ``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
 ``A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed ProtoQuipper'' (with Peng Fu, Neil J. Ross, and Peter Selinger), Twelfth Conference on Reversible Computation (RC 2020), University of Oslo, Oslo, Norway, Jul. 10, 2020
 ``Linear Dependent Type Theory for Quantum Programming Languages'' (with Peng Fu and Peter Selinger, presented jointly), ThirtyFifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Saarland Informatics Campus, Saarbrücken, Germany, Jul. 8, 2020
 ``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
 ``An Allegorical Semantics of Modal Logic'', First Symposium on Compositional Structures (SYCO 1), University of Birmingham, Birmingham, United Kingdom, Sept. 20, 2018
 ``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
 ``Minimum Quantum Resources for Strong NonLocality'' (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
 ``Logic of Local Inference for Contextuality in Quantum Physics and Beyond'', FortyThird International Colloquium on Automata, Languages, and Programming (ICALP 2016), Rome, Italy, Jul. 14, 2016
 ``Contextuality, Cohomology, and Paradox'' (with Samson Abramsky, Raymond Lal, Shane Mansfield, and Rui Soares Barbosa, presented by Kishida), TwentyFourth EACSL Annual Conference on Computer Science Logic (CSL 2015), Technical University Berlin, Berlin, Germany, Sept. 8, 2015
 ``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
 ``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
 ``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
 ``Public Announcement under Sheaves'', Logic and Engineering of Natural Language Semantics 9, Miyazaki, Japan, on Dec. 1, 2012
 ``Topological Completeness of FirstOrder Modal Logic'' (with Steve Awodey), Advances in Modal Logic 2012, Copenhagen, Denmark, on Aug. 23, 2012
 ``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
 ``NeighborhoodSheaf Semantics for FirstOrder Modal Logic,'' Seventh Workshop on Methods for Modalities, University of Osuna, Osuna, Spain, on Nov. 10, 2011
 ``A Sheaf Semantics for FirstOrder Epistemic Logic,'' Thirteenth Conference on Theoretical Aspects of Rationality and Knowledge, University of Groningen, Groningen, the Netherlands, on Jul. 14, 2011
 ``A Forgotten Trio: Classical Semantics for FirstOrder NonClassical Logic,'' Mathematical Logic in the Netherlands 2011, University of Groningen, Groningen, the Netherlands, on May 19, 2011
 ``Sheaves for Neighborhoods,'' Category Theory NovemberFest, Carnegie Mellon University, Pittsburgh, U.S.A., on Nov. 14, 2009
 ``NeighborhoodSheaf Semantics for FirstOrder Modal Logic,'' Association for Symbolic Logic 2008 Joint Meeting with the American Philosophical Association, Philadelphia, U.S.A., on Dec. 29, 2008
 ``Neighborhood Incompatibility Semantics for Modal Logic,'' Logica 2008 Symposium, Hejnice, The Czech Republic, on Jun. 18, 2008
 ``Topological Semantics for FirstOrder Modal Logic,'' Association for Symbolic Logic 2006 Annual Meeting, Université du Québec à Montréal, Montreal, Quebec, on May 20, 2006
 ``Topological Semantics for FirstOrder Modal Logic,'' Topos Theory Summer School in Haute Bodeux, Haute Bodeux, Belgium, on Jun. 3, 2005
Academic Service
Chair of Program Committees
 Fourth Annual International Conference on Applied Category Theory (ACT 2021), University of Cambridge, Cambridge, United Kingdom, Jul. 12–2163, 2021
 Fourth Symposium on Compositional Structures (SYCO 4), Chapman University, Orange, U.S.A., May 22–23, 2019
Member of Program Committees
 American Philosophical Association 2024 Central Division Meeting, New Orleans, U.S.A., Feb. 21–24, 2024
 Fiftieth International Colloquium on Automata, Languages, and Programming (ICALP 2023) Track B, Paderborn, Germany, Jul. 10–14, 2023
 Third International Workshop on Programming Languages for Quantum Computing (PLanQC 2022), Ljubljana, Slovenia, Sept. 11–16, 2022
 Fifth International Conference on Applied Category Theory (ACT 2022), University of Strathclyde, Glasgow, United Kingdom, Jul. 18–22, 2022
 Nineteenth International Conference on Quantum Physics and Logic (QPL 2022), University of of Oxford, Oxford, United Kingdom, Jun. 27–Jul. 1, 2022
 Eighteenth International Conference on Quantum Physics and Logic (QPL 2021), University of of Gdańsk, Gdańsk, Poland, Jun. 7–11, 2021
 Seventh Symposium on Compositional Structures (SYCO 7), Estonian Academy of Sciences, Tallinn, Estonia, Mar. 30–31, 2020
 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
 Seventh International Conference on Logic, Rationality and Interaction (LORI VII), SouthWest University, Chongqing, China, Oct. 18–21, 2019
 Sixteenth International Conference on Quantum Physics and Logic (QPL 2019), Chapman University, Orange, U.S.A., Jun. 10–14, 2019
 Third Symposium on Compositional Structures (SYCO 3), University of Oxford, Oxford, United Kingdom, Mar. 27–28, 2019
 Fifteenth International Conference on Quantum Physics and Logic (QPL 2018), Dalhousie University, Halifax, Canada, Jun. 3–7, 2018
 Fourteenth International Conference on Quantum Physics and Logic (QPL 2017), Radboud University, Nijmegen, the Netherlands, Jul. 3–7, 2017
 Sixth International Conference on Logic, Rationality and Interaction (LORI VI), Hokkaido University, Sapporo, Japan, Sept. 11–14, 2017
 Thirteenth International Conference on Quantum Physics and Logic (QPL 2016), University of Strathclyde, Glasgow, United Kingdom, Jun. 6–10, 2016
 European Summer School in Logic, Language and Information 2015 Student Session, Universitat Pompeu Fabra, Barcelona, Spain, Aug. 3–14, 2015
 European Summer School in Logic, Language and Information 2014 Student Session, University of Tübingen, Germany, Aug. 11–22, 2014
 PhDs in Logic V, LudwigMaximilian University Munich, Germany, scheduled Apr. 8–10, 2013
Reviewing for ResearchFunding Bodies
 External reviewer, Discovery Grant: Mathematics and Statistics, the Natural Sciences and Engineering Research Council of Canada, Jan. 2016
Reviewing for Journals
 Annals of Pure and Applied Logic
 Compositionality
 Erkenntnis (2 papers)
 Journal of Logic, Language and Information
 Journal of Mathematical Psychology
 Journal of Philosophical Logic (2 papers)
 Logical Methods in Computer Science
 Proceedings of the Royal Society A
 Quantum
 Review of Symbolic Logic (3 papers)
 Studia Logica (3 papers)
Subreviewing for Conferences
 FortyFirst conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), 2021
 TwentyNinth EACSL Annual Conference on Computer Science Logic (CSL 2021), 2020
 FortySeventh International Colloquium on Automata, Languages and Programming (ICALP 2020), 2020
 ThirtyFifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), 2020
 QTurn Workshop, 2018
 Advances in Modal Logic 2018, 2018
 ThirtyThird Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), 2018
 Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), 2017
 TwentyFourth Workshop on Logic, Language, Information and Computation (WoLLIC 2017), 2017
 ThirtySecond Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), 2017
 ThirtyFirst Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), 2016
 Nineteenth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016), 2016
 Twelfth International Workshop on Quantum Physics and Logic (QPL 2015), 2015
 FortySecond International Colloquium on Automata, Languages and Programming (ICALP 2015), 2015
 International Conference on Autonomous Agents and Multiagent Systems (AAMAS) 2015, 2015
 Sixteenth Workshop on Programming and Programming Languages (PPL 2014), 2014
 Tenth Meeting of Logic and Engineering of Natural Language Semantics (LENLS 2013), 2013
 Computability in Europe 2013: The Nature of Computation, 2013
 Symposium on Logical Foundations of Computer Science (LFCS) 2013, 2013
 IFIP Theoretical Computer Science (TCS) 2012, 2012
 Nineteenth Workshop on Logic, Language, Information and Computation (WoLLIC 2012), 2012
 Thirteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2011), 2011
 TwentySecond Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
 Pitt/CMU Philosophy Graduate Conference, 2003, 2004, 2010
Organizing Workshops
 Homotopy Type Theory Workshop, assistant organizer, University of Oxford, United Kingdom, on Nov. 7–10, 2014
 Mathematical Logic in the Netherlands 2011, coorganizer, University of Groningen, the Netherlands, on May 19–20, 2011
 Category Theory NovemberFest 2009, assistant organizer, Carnegie Mellon University, Pennsylvania, on Nov. 14–15, 2009
 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
 Quantum Lunch Seminar, convener, University of Oxford, United Kingdom, May 2014–Mar. 2017 (coconvener May–Jun. 2014 and Jan.–Mar. 2017)
 Logic and Interactive Rationality, coorganizer, University of Amsterdam, the Netherlands, Jan. 2012–Aug. 2013
Graduate Teaching
As independent instructor
 Philosophy of Logic: Modal Logic, University of Illinois at UrbanaChampaign, Fall 2020
 Advanced Symbolic Logic, University of Illinois at UrbanaChampaign, Spring 2020
 Categories, Proofs and Processes, lecturer, University of Oxford, Michaelmas Term 2016
 Topos Theory, independent study instructor, University of Oxford, Michaelmas Term 2014
 Topos Theory, independent study instructor, University of Amsterdam, Fall 2012
 Category Theory, lecturer, University of Amsterdam, Jun.–Jul., 2012
 Topics in Logic and Mathematics: Modal Logic, seminar coinstructor, Carnegie Mellon University, Spring 2009
As teaching assistant
 Advanced Logic (Nuel Belnap), University of Pittsburgh, Spring 2009
Serving thesis committees
 Christoph Dorn,
DPhil status transfer viva, University of Oxford, on Dec. 2, 2015
 Julia Ilin,
Master's thesis, University of Amsterdam, on Jan. 28, 2014
 Anthony Renard,
Master's thesis, University of Amsterdam, on Sept. 13, 2013
 Maurice Pico,
Master's thesis, University of Amsterdam, on Jul. 31, 2013
Undergraduate Teaching
As independent instructor
 Philosophical Foundations of Computer Science, University of Illinois at UrbanaChampaign, Fall 2020
 Symbolic Logic, University of Illinois at UrbanaChampaign, Spring 2020
 Advanced Symbolic Logic, University of Illinois at UrbanaChampaign, Spring 2020
 Symbolic Logic, University of Illinois at UrbanaChampaign, Fall 2019
 Discrete Structures II, lecturer, Dalhousie University, Winter Term 2018
 Categories, Proofs and Processes, lecturer, University of Oxford, Michaelmas Term 2016
 Introduction to Logic, University of Pittsburgh, Spring 2008
 Introduction to Logic (external studies), University of Pittsburgh, Fall 2006
 Introduction to Logic, University of Pittsburgh, Summer 2004
As teaching assistant (all at the University of Pittsburgh)
 Minds and Machines (Christopher Frey), Spring 2010
 Political Philosophy (Timothy Willenken), Fall 2009
 Introduction to Ethics (Kieran Setiya), Fall 2007
 Philosophy and Science (Gordon Belot), Fall 2004
 Introduction to Logic (Nuel Belnap), Spring 2004
 Introduction to Logic (Kenneth Manders), Fall 2003
Department of Philosophy
University of Illinois, UrbanaChampaign
200 Gregory Hall
810 S Wright St
Urbana, IL 61801
Email: kkishida [[at]] illinois [[dot]] edu; kishidakohei [[at]] gmail [[dot]] com
