Banner Background (1200 x 600 px) (2).png

Kengo Hirata

PhD student

k.hirata@sms.ed.ac.uk

Mark as Starred

Mail

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" https://arxiv.org/abs/2301.06420