Kengo Hirata / 平田賢吾
I am a specially-appointed researcher at Chiba University.
At the same time, I am a PhD student in the LFCS at School of Informatics, University of Edinburgh, supervised by Chris Heunen.
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.
Awards
- PPL2025 発表賞
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年度未踏ターゲット事業 『古典・量子ハイブリッドな高機能プログラミング言語の設計及び処理系の開発』
Developped a new quantum programming language, Qitten. DEMO
Education
- 2023.9– PhD study at the University of Edinburgh.
- LFCS, supervised by Chris Heunen.
- 2023.4–2026.9 PhD study at Kyoto University (withdrew from the program).
- 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.
Peer Review
Experience of external peer review: 7
Links
Contact
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