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, Chris Heunen, "Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime" https://dl.acm.org/doi/10.1145/3704842