ProfessorsProfessors of University of Illinois at Urbana-ChampaignKohei Kishida

Kohei Kishida

University of Illinois at Urbana-Champaign

H-index: 12

North America-United States

About Kohei Kishida

Kohei Kishida, With an exceptional h-index of 12 and a recent h-index of 9 (since 2020), a distinguished researcher at University of Illinois at Urbana-Champaign, specializes in the field of Logic, Computer Science, Mathematics, Quantum Foundations, Information and Computation.

His recent articles reflect a diverse array of research interests and contributions to the field:

Modalities in the Type Theory of Quantum Programming

Gödel, Escher, Bell: Contextual Semantics of Logical Paradoxes

Proto-Quipper with dynamic lifting

Proceedings of the Fourth International Conference on Applied Category Theory

On the Lambek embedding and the category of product-preserving presheaves

Linear dependent type theory for quantum programming languages

A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper

Kohei Kishida Information

University	University of Illinois at Urbana-Champaign
Position	Department of Philosophy
Citations(all)	459
Citations(since 2020)	261
Cited By	279
hIndex(all)	12
hIndex(since 2020)	9
i10Index(all)	15
i10Index(since 2020)	8
Email	Access Email
University Profile Page	University of Illinois at Urbana-Champaign
Google Scholar	View Google Scholar Profile

Kohei Kishida Skills & Research Interests

Logic

Computer Science

Mathematics

Quantum Foundations

Information and Computation

Top articles of Kohei Kishida

Title	Journal	Author(s)	Publication Date
Modalities in the Type Theory of Quantum Programming	Electronic Proceedings in Theoretical Computer Science, EPTCS	Kohei Kishida	2023/8/7
Gödel, Escher, Bell: Contextual Semantics of Logical Paradoxes		Kohei Kishida	2023/8/2
Proto-Quipper with dynamic lifting	Proceedings of the ACM on Programming Languages	Peng Fu Kohei Kishida Neil J Ross Peter Selinger	2023/1/9
Proceedings of the Fourth International Conference on Applied Category Theory		Adrian-Horia Dediu Luis Magdalena Carlos Martín-Vide	2015/12/15
On the Lambek embedding and the category of product-preserving presheaves	arXiv preprint arXiv:2205.06068	Peng Fu Kohei Kishida Neil J Ross Peter Selinger	2022/5/12
Linear dependent type theory for quantum programming languages		Peng Fu Kohei Kishida Peter Selinger	2020/7/8
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper		Peng Fu Kohei Kishida Neil J Ross Peter Selinger	2020