top of page
Banner Background (1200 x 600 px) (2).png

Kengo Hirata

PhD student

Research Interests:

Quantum Programming Language, Categoty Theory

I am a PhD student in the LFCS at University of Edinburgh, under the supervison of Chris Heunen.

I am interested in programming languages, type theory, and category theory. Especially, I am interested in design, implementation, and semantics of quantum programming languages.

Featured Publications:

Kengo Hirata, "Generalization of formal monad theory to lax functors"

bottom of page