Kengo Hirata / 平田賢吾 I am a PhD student in the LFCS at School of Informatics, University of Edinburgh, supervised by Chris Heunen .
I am also a PhD student in the Computer Science Group at RIMS, Kyoto University, supervised by Masahito Hasegawa .
Research Interests I am interested in
programming languages (type system, quantum, Rust, concurrency), linear logic (quantitative semantics), category theory (2-category, enriched category, semantics). In particular, my focus is on quantum programming languages.
Papers K.Hirata, C.Heunen. Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime. POPL 2025.
[doi ][arXiv ] K.Hirata. Generalization of formal monad theory to lax functors. arixiv. 2023. [arxiv ] K.Hirata. Notes on Lax Ends. arxiv. 2022. [arXiv ] Talks and slides Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime. POPL 2025. [slides ] Quantum Uncomputation as Garbage Collection, SPLS, Mar 2024. [slides ] Quantum Controlled Measurements via Program Transformation, PLanQC 2024, Jan 2024.
[extended abst ]
[slides ] Master Defence, Kyoto University, Jan 2023. [slides EN ] [slides JA ] Activities 2023.4-2023.8 JSPS Research Fellowship for Young Scientists (DC1)
『次世代の高機能量子プログラミング言語の設計と、特に変数の扱いに関する理論的研究
(On the design of the next generation of high-performance quantum programming languages, and a theoretical study on the treatment of variables)
2021.6-2022.2 2021年度未踏ターゲット事業 『古典・量子ハイブリッドな高機能プログラミング言語の設計及び処理系の開発』 DEMO
Education 2023.9– PhD study at the University of Edinburgh. LFCS, supervised by Chris Heunen. 2023.4– PhD study at Kyoto University. Computer Science Group at RIMS, supervised by Masahito Hasegawa. 2021.4–2023.3 MSc study (2 year cource) at Kyoto University. Computer Science Group at RIMS, supervised by Masahito Hasegawa. 2017.4–2021.3 BSc study (4 year cource) at the University of Tokyo. Dept. of Information Science, supervised by Masami Hagiya. 2011.4–2017.3 Junior and senior high school study at NaraGakuen Tomigaoka. Links Friends
Kengo Hirata (平田賢吾)
LFCS-IF, School of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh, EH8 9AB, UK.
Email: khirata[AT]kurims.kyoto-u.ac.jp, k.hirata[AT]sms.ed.ac.uk
