Faculty

Institution

Unit

Venue

Kohei Kishida

Associate Professor Director of Graduate Studies

University of Illinois Urbana-Champaign

Affiliations

College of Liberal Arts & Sciences

Department of Philosophy

The Grainger College of Engineering

Siebel School of Computing and Data Science

Kohei Kishida is currently serving as a College Of Liberal Arts & Sciences Associate Professor Director of Graduate Studies at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Kohei Kishida

University of Illinois Urbana-Champaign

Associate Professor Director of Graduate Studies

You can click a keyword to filter the displayed items

mathematics logic in computer science mathematical logic computer science automated reasoning formal methods quantum information science quantum science quantum computing philosophical logic semantics classical logic quantum logic modal logic topology theoretical physics automated deduction quantum programming philosophy applied mathematics quantum mechanics non-classical logic programming languages higher-order logic operational semantics type systems geometric topology mathematical sciences first-order logic paraconsistent logic quantum algorithms functional programming algebraic semantics epistemic logic logical paradoxes modern physics combinatorial theory philosophy of logic type theory topological interpretation topological semantics dynamic lifting local inference global inconsistency combinatorial optimization discrete algorithms public relations general linguistics pragmatics physical prototyping complexity theory topological invariants topological properties unconventional computing functional programming languages dependently typed programming combinatory analysis combinatorial methods enumerative combinatorics probability logic action language public displays process calculus dynamic logics programming language theory abstract interpretation contextuality arguments funny business cohomology and paradox full first-order logic passive indeterminism hausdorff property topological issues tutorial introduction dependently typed proto-quipper quantum circuit programming philosophy of mathematics history of science logical formalism category theory philosophy of science history of logic applied philosophy history and philosophy of science logical analysis

Notable Scholarly Works

Notable Federal Grants

Collaborators

Proto-Quipper With Reversing and Control. Electronic Proceedings in Theoretical Computer Science (2025)

Peng FuKohei KishidaNeil J. RossPeter Selinger

physical prototypingfeedforward controlfeed forward (control)mechanical systems

Proto-Quipper With Reversing and Control. arXiv (Cornell University) (2024)

Fu, PengKishida, KoheiRoss, Neil J.Selinger, Peter

quantum algorithmstheory of computationmathematical logiccomputer engineeringlogic in computer sciencequantum programmingquantum circuit designformal methodstype systemsautomated reasoningautomated deductionfunctional programmingoperational semanticsprogramming languagescomputer sciencequantum computingquantum logicquantum information science

Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach. Lecture notes in computer science (2024)

Kohei Kishida

humanitiesbelief mergingtopologyapplied philosophylogic in computer sciencejustified true beliefepistemologyrationalityphilosophymetaphysicsplausible reasoningphilosophical logic

A Biset-Enriched Categorical Model for Proto-Quipper With Dynamic Lifting. Electronic Proceedings in Theoretical Computer Science (2023)

Peng FuKohei KishidaNeil J. RossPeter Selinger

abstract interpretationquantum computingprogramming language theorycomputer engineeringquantum sciencedynamic liftingautomated deductionprogramming languagesautomated reasoningquantum information sciencetheory of computationtype systemsfunctional programmingcomputer sciencelogic in computer sciencequantum programmingformal methodsoperational semanticsmathematical logic

GöDel, Escher, Bell: Contextual Semantics of Logical Paradoxes. Outstanding contributions to logic (2023)

Kohei Kishida

semanticsphilosophy of languageepistemic logiclogical paradoxeslogic in computer scienceparaconsistent logicclassical logicinferenceautomated reasoningpragmaticslinguisticsphilosophical logic

Modalities in the Type Theory of Quantum Programming. Electronic Proceedings in Theoretical Computer Science (2023)

Kohei Kishida

type theorylogic in computer sciencequantum programmingquantum computingmathematics

Proto-Quipper With Dynamic Lifting. Proceedings of the ACM on Programming Languages (2023)

Peng FuKohei KishidaNeil J. RossPeter Selinger

theory of computationmathematical logiccomputer engineeringlogic in computer sciencequantum sciencequantum programmingcategory theoryformal methodsfunctional programming languagesdynamic liftingtype systemsoperational semanticsfunctional programmingunconventional computingprogramming languagescomputer sciencequantum computingquantum information science

Linear Dependent Type Theory for Quantum Programming Languages. Logical Methods in Computer Science (2022)

Peng FuKohei KishidaPeter Selinger

type theorylogic in computer sciencequantum programming languagesquantum programmingquantum resourcesdependently typed programmingformal methodstype systemsoperational semanticsprogramming languagescomputer sciencequantum computingmathematics

On the Lambek Embedding and the Category of Product-Preserving Presheaves. arXiv (Cornell University) (2022)

Fu, PengKishida, KoheiRoss, Neil J.Selinger, Peter

categorical logiccategorical modelhomological algebralambek embeddingcategory theoryhigher category theoryleft adjointmathematical logicpure mathematicsleft adjoint functor

Proceedings of the Fourth International Conference on Applied Category Theory. Electronic Proceedings in Theoretical Computer Science (2022)

Kohei Kishida

theoretical physicsfourth international conferencecategorical modelhomological algebramathematical sciencesalgebracategory theoryhigher category theoryapplied mathematicsmathematicspure mathematics

1
2
3
4
10 / page

Kohei Kishida

Associate Professor Director of Graduate Studies

University of Illinois Urbana-Champaign

Affiliations

College of Liberal Arts & Sciences

Department of Philosophy

The Grainger College of Engineering

Siebel School of Computing and Data Science

Kohei Kishida is currently serving as a College Of Liberal Arts & Sciences Associate Professor Director of Graduate Studies at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Kohei Kishida

University of Illinois Urbana-Champaign

Associate Professor Director of Graduate Studies

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Proto-Quipper With Reversing and Control. Electronic Proceedings in Theoretical Computer Science (2025)

Peng FuKohei KishidaNeil J. RossPeter Selinger

physical prototypingfeedforward controlfeed forward (control)mechanical systems

Proto-Quipper With Reversing and Control. arXiv (Cornell University) (2024)

Fu, PengKishida, KoheiRoss, Neil J.Selinger, Peter

Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach. Lecture notes in computer science (2024)

Kohei Kishida

humanitiesbelief mergingtopologyapplied philosophylogic in computer sciencejustified true beliefepistemologyrationalityphilosophymetaphysicsplausible reasoningphilosophical logic

A Biset-Enriched Categorical Model for Proto-Quipper With Dynamic Lifting. Electronic Proceedings in Theoretical Computer Science (2023)

Peng FuKohei KishidaNeil J. RossPeter Selinger

GöDel, Escher, Bell: Contextual Semantics of Logical Paradoxes. Outstanding contributions to logic (2023)

Kohei Kishida

semanticsphilosophy of languageepistemic logiclogical paradoxeslogic in computer scienceparaconsistent logicclassical logicinferenceautomated reasoningpragmaticslinguisticsphilosophical logic

Modalities in the Type Theory of Quantum Programming. Electronic Proceedings in Theoretical Computer Science (2023)

Kohei Kishida

type theorylogic in computer sciencequantum programmingquantum computingmathematics

Proto-Quipper With Dynamic Lifting. Proceedings of the ACM on Programming Languages (2023)

Peng FuKohei KishidaNeil J. RossPeter Selinger

Linear Dependent Type Theory for Quantum Programming Languages. Logical Methods in Computer Science (2022)

Peng FuKohei KishidaPeter Selinger

On the Lambek Embedding and the Category of Product-Preserving Presheaves. arXiv (Cornell University) (2022)

Fu, PengKishida, KoheiRoss, Neil J.Selinger, Peter

categorical logiccategorical modelhomological algebralambek embeddingcategory theoryhigher category theoryleft adjointmathematical logicpure mathematicsleft adjoint functor

Proceedings of the Fourth International Conference on Applied Category Theory. Electronic Proceedings in Theoretical Computer Science (2022)

Kohei Kishida

theoretical physicsfourth international conferencecategorical modelhomological algebramathematical sciencesalgebracategory theoryhigher category theoryapplied mathematicsmathematicspure mathematics

1
2
3
4
10 / page

Similar Faculty Members

Colin McLarty

Institution

Case Western Reserve University

philosophical logic

logical formalism

Neil Tennant

Institution

Ohio State University

evolutionary biology

computational philosophy

Paolo Mancosu

Institution

University of California, Berkeley

mathematics

philosophy

Dakshita Khurana

Institution

University of Illinois Urbana-Champaign

communication security

cryptographic technology

Wilfried Sieg

Institution

Carnegie Mellon University

mathematical logic

proof theory

Ernest Schimmerling

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science

Elsa Gunter

Institution

University of Illinois Urbana-Champaign

software engineering

technology

Matthew Harrison-Trainor

Institution

University of Illinois Chicago

mathematical logic

computability theory

Harvey Friedman

Institution

Ohio State University

philosophy

general system

John Burgess

Institution

Princeton University

philosophical logic

philosophy

Similar Faculty Members

Colin McLarty

Institution

Case Western Reserve University

philosophical logic

logical formalism

Neil Tennant

Institution

Ohio State University

evolutionary biology

computational philosophy

Paolo Mancosu

Institution

University of California, Berkeley

mathematics

philosophy

Dakshita Khurana

Institution

University of Illinois Urbana-Champaign

communication security

cryptographic technology

Wilfried Sieg

Institution

Carnegie Mellon University

mathematical logic

proof theory

Ernest Schimmerling

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science

Elsa Gunter

Institution

University of Illinois Urbana-Champaign

software engineering

technology

Matthew Harrison-Trainor

Institution

University of Illinois Chicago

mathematical logic

computability theory

Harvey Friedman

Institution

Ohio State University

philosophy

general system

John Burgess

Institution

Princeton University

philosophical logic

philosophy