Kohei Kishida

I am a research associate at
the Department of Mathematics and Statistics, Dalhousie University.

(From this fall, I will be appointed assistant professor at
the Department of Philosophy, University of Illinois at Urbana-Champaign.)

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

Page index: Research / Academic Positions / Education / 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 tutorial lecture at Quantum Physics and Logic 2016 (June 2016)
  • Video of a talk at Quantum Physics and Logic 2015 (May 2015)
  • Slides for a talk at Dept. of Physics and Astronomy, Univ. of British Columbia (May 2017)
  • Poster for a talk at Theoretical Aspects of Rationality and Knowledge 2017 (July 2017)
  • Slides for a talk at First Symposium on Compositional Structures (Sept 2018)

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

Here is a ``mind map'' of areas and topics surrounding my research:

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

Fellowships

  • 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, 2016
  2. 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. ``Categories and Modalities'', in Elaine Landry, ed., Categories for the Working Philosopher, Oxford University Press, 2017, pp. 163–222
    [Publisher Website]

Refereed articles

  1. ``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]
  2. ``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]
  3. ``Relevance of Aristotle's Syllogistic Revisited'', accepted for Journal of Philosophical Logic
  4. ``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]
  5. ``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]
  6. ``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]
  7. ``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]
  8. ``Duality for the Logic of Quantum Actions'' (with Jort Bergfeld, Joshua Sack, and Shengyang Zhong), Studia Logica 103 (2015), 781–805
    [SpringerLink]
  9. ``Topos Semantics for Higher-Order Modal Logic'' (with Steve Awodey and Hans-Christoph Kotzsch), Logique et Analyse 228 (2014), 591–636
    [Journal Website, arXiv]
  10. ``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]
  11. ``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]
  12. ``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]
  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. ``Neighborhood Incompatibility Semantics for Modal Logic,'' in Michal Peliš, ed., Logica Yearbook 2008, London: College Publications, 2009, pp. 79–89
  18. ``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]
  19. ``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 55 invited lectures, talks, and comments.

  1. ``Relevance and Reduction in Aristotle's Logic'', Center for Applied Philosophy and Ethics Lecture Series, Kyoto University, Kyoto, Japan, Jul. 10, 2019
  2. ``A Topological Approach to Quantum and Logical Paradoxes'', Quantum Foundations Lecture Series, Kyoto University, Kyoto, Japan, Jul. 8, 2019
  3. ``Probabilities, Graphs, Games, and Quantum Paradoxes'', Mathematics Honours Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Oct. 31, 2018
  4. ``Bicategories, Allegories, and Modal Logic, part 2'', Atlantic Category Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Oct. 23, 2018
  5. ``Bicategories, Allegories, and Modal Logic, part 1'', Atlantic Category Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Oct. 16, 2018
  6. ``A Higher-Duality and Allegorical Semantics for Modal Logic'', Quantum Whisky Seminar, University of Oxford, Oxford, United Kingdom, Sept. 18, 2018
  7. ``Topologies, Categories, and Modalities'', Applied Logic Seminar, Delft University of Technology, Delft, the Netherlands, Aug. 5, 2018
  8. ``A Logic of Contextuality, or `Topologically Constrained Constraint Satisfaction' '', Logical Aspects of Quantum Information, Lorentz Center, Leiden, the Netherlands, Aug. 1, 2018
  9. ``A Topological Approach to Quantum Contextuality'', RIMS Computer Science Seminar, Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, Jun. 28, 2018
  10. ``Intensional Quantified Logic for Modal Theorizing'', Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Jun. 1, 2018
  11. ``Probability and Topology of Quantum Non-Locality and Contextuality'', Dalhousie Mathematics Coloquium, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Mar. 15, 2018
  12. ``Non-Locality, Contextuality, and Topology'', Atlantic Category Seminar, Department of Mathematics and Statistics, Dalhousie University, Halifax, Canada, Sept. 12, 2017
  13. ``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
  14. ``Logic of Local Infereoce for Contextuality and Paradoxes'', Workshop on Compositionality, Simons Institute for the Theory of Computing, University of California Berkeley, Berkeley, United States, Dec. 8, 2016
  15. ``Non-Locality, Contextuality, and Topology'', CSULB Mathematics Colloquium, California State University Long Beach, Long Beach, United States, Dec. 2, 2016
  16. 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
  17. ``Geometrid Logic of Contextuality'', Workshop on Information and processes 2016, Fontainebleau, France, Apr. 26, 2016
  18. ``Duality in Logic and Computer Science'', Duality in Contemporary Mathematics: Philosophical Aspects, Bergische Universität Wuppertal, Wuppertal, Germany, Sept. 4, 2015
  19. ``Topology of Contextuality'', Centre for Quantum Information and Foundations Seminar, University of Cambridge, Cambridge, United Kingdom, Jun. 18, 2015
  20. ``Logic of Contextual Semantics'', Amsterdam Quantum Logic Workshop 2015, University of Amsterdam, Amsterdam, the Netherlands, May 7, 2015
  21. ``Sheaves for Dynamic Epistemic Logic'', Applied Logic Seminar, Delft University of Technology, Delft, the Netherlands, May 5, 2015
  22. ``Topology of Contextuality and Logical Paradoxes'', Workshop on Coalgebras in Quantum Physics, McGill University Bellairs Research Institute, St. James, Barbados, Mar. 17, 2015
  23. ``Topology of Logical Paradoxes'', Fifth Quantum Group Workshop, University of Oxford, Oxford, United Kingdom, Mar. 7, 2015
  24. ``Cohomology of Contextuality and Logical Paradoxes'', Birmingham Theoretical Computer Science Seminar, University of Birmingham, Birmingham, United Kingdom, Jan. 23, 2015
  25. ``Cohomology of Contextuality and Logical Paradoxes'', QMUL EECS Theory Group Seminar, Queen Mary University London, London, United Kingdom, Jan. 14, 2015
  26. ``Sheaves for Contextuality in the Quantum and Beyond'', Celebrating 10 Years of Categorical Quantum Mechanics, University of Oxford, Oxford, United Kingdom, Oct. 19, 2014
  27. ``Fibrational Models for Stochastic Dynamics'', Fibrations in Computation Workshop, University of Strathclyde, Glasgow, United Kingdom, Jun. 23, 2014
  28. ``Dynamic Logic for Contextuality'', Amsterdam Quantum Logic Workshop, University of Amsterdam, Amsterdam, the Netherlands, Apr. 2, 2014
  29. ``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)

All the listed papers, single- or co-authored, are presented by Kishida.

  1. ``An Allegorical Semantics of Modal Logic'', First Symposium on Compositional Structures (SYCO 1), University of Birmingham, Birmingham, United Kingdom, Sept. 20, 2018
  2. ``Categories for Dynamic Epistemic Logic'', Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), University of Liverpool, Liverpool, UK, Jul. 24, 2017
  3. ``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
  4. ``Contextuality, Cohomology, and Paradox'' (with Samson Abramsky, Raymond Lal, Shane Mansfield, and Rui Soares Barbosa), Twenty-Fourth EACSL Annual Conference on Computer Science Logic (CSL 2015), Technical University Berlin, Berlin, Germany, Sept. 8, 2015
  5. ``Contextuality, Cohomology, and Paradox'' (short contribution, with Samson Abramsky, Raymond Lal, Shane Mansfield, and Rui Soares Barbosa), Twelfth International Workshop on Quantum Physics and Logic (QPL 2015), University of Oxford, Oxford, July 15, 2015
  6. ``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
  7. ``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
  8. ``Public Announcement under Sheaves'', Logic and Engineering of Natural Language Semantics 9, Miyazaki, Japan, on Dec. 1, 2012
  9. ``Topological Completeness of First-Order Modal Logic'' (with Steve Awodey), Advances in Modal Logic 2012, Copenhagen, Denmark, on Aug. 23, 2012
  10. ``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
  11. ``Neighborhood-Sheaf Semantics for First-Order Modal Logic,'' Seventh Workshop on Methods for Modalities, University of Osuna, Osuna, Spain, on Nov. 10, 2011
  12. ``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
  13. ``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
  14. ``Sheaves for Neighborhoods,'' Category Theory NovemberFest, Carnegie Mellon University, Pittsburgh, U.S.A., on Nov. 14, 2009
  15. ``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
  16. ``Neighborhood Incompatibility Semantics for Modal Logic,'' Logica 2008 Symposium, Hejnice, The Czech Republic, on Jun. 18, 2008
  17. ``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
  18. ``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 Symposium on Compositional Structures (SYCO 4), Chapman University, Orange, U.S.A., May 22–23, 2019

Member of Program Committees

  1. 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
  2. Seventh International Conference on Logic, Rationality and Interaction (LORI VII), South-West University, Chongqing, China, Oct. 18–21, 2019
  3. Sixteenth International Conference on Quantum Physics and Logic (QPL 2019), Chapman University, Orange, U.S.A., Jun. 10–14, 2019
  4. Third Symposium on Compositional Structures (SYCO 3), University of Oxford, Oxford, United Kingdom, Mar. 27–28, 2019
  5. Fifteenth International Conference on Quantum Physics and Logic (QPL 2018), Dalhousie University, Halifax, Canada, Jun. 3–7, 2018
  6. Fourteenth International Conference on Quantum Physics and Logic (QPL 2017), Radboud University, Nijmegen, the Netherlands, Jul. 3–7, 2017
  7. Sixth International Conference on Logic, Rationality and Interaction (LORI VI), Hokkaido University, Sapporo, Japan, Sept. 11–14, 2017
  8. Thirteenth International Conference on Quantum Physics and Logic (QPL 2016), University of Strathclyde, Glasgow, United Kingdom, Jun. 6–10, 2016
  9. European Summer School in Logic, Language and Information 2015 Student Session, Universitat Pompeu Fabra, Barcelona, Spain, Aug. 3–14, 2015
  10. European Summer School in Logic, Language and Information 2014 Student Session, University of Tübingen, Germany, Aug. 11–22, 2014
  11. 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. Erkenntnis (2 papers)
  3. Journal of Logic, Language and Information
  4. Journal of Mathematical Psychology
  5. Journal of Philosophical Logic (2 papers)
  6. Proceedings of the Royal Society A
  7. Review of Symbolic Logic (3 papers)
  8. Studia Logica (3 papers)

Subreviewing for Conferences

  1. Q-Turn Workshop, 2018
  2. Advances in Modal Logic 2018, 2018
  3. Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), 2018
  4. Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), 2017
  5. Twenty-Fourth Workshop on Logic, Language, Information and Computation (WoLLIC 2017), 2017
  6. Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), 2017
  7. Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), 2016
  8. Nineteenth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016), 2016
  9. Twelfth International Workshop on Quantum Physics and Logic (QPL 2015), 2015
  10. Forty-Second International Colloquium on Automata, Languages and Programming (ICALP 2015), 2015
  11. International Conference on Autonomous Agents and Multiagent Systems (AAMAS) 2015, 2015
  12. Sixteenth Workshop on Programming and Programming Languages (PPL 2014), 2014
  13. Tenth Meeting of Logic and Engineering of Natural Language Semantics (LENLS 2013), 2013
  14. Computability in Europe 2013: The Nature of Computation, 2013
  15. Symposium on Logical Foundations of Computer Science (LFCS) 2013, 2013
  16. IFIP Theoretical Computer Science (TCS) 2012, 2012
  17. Nineteenth Workshop on Logic, Language, Information and Computation (WoLLIC 2012), 2012
  18. Thirteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2011), 2011
  19. Twenty-Second Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
  20. 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. Categories, Proofs and Processes, lecturer, University of Oxford, Michaelmas Term 2016
  2. Topos Theory, independent study instructor, University of Oxford, Michaelmas Term 2014
  3. Topos Theory, independent study instructor, University of Amsterdam, Fall 2012
  4. Category Theory, lecturer, University of Amsterdam, Jun.–Jul., 2012
  5. 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. Discrete Structures II, lecturer, Dalhousie University, Winter Term 2018
  2. Categories, Proofs and Processes, lecturer, University of Oxford, Michaelmas Term 2016
  3. Introduction to Logic, University of Pittsburgh, Spring 2008
  4. Introduction to Logic (external studies), University of Pittsburgh, Fall 2006
  5. 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 Mathematics and Statistics
Dalhousie University
6316 Coburg Road
PO Box 15000
Halifax, Nova Scotia
Canada B3H 4R2

Phone: +1-902-494-6760
Email: kishida [[at]] dal [[dot]] ca; kishidakohei [[at]] gmail [[dot]] com