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 theory,
• linear logic,
• category theory.

In particular, I have recently been interested in quantum programming languages.

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–      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.

 

Papers

• Generalization of formal monad theory to lax functors, Jan 2023 [arxiv]
• Notes on Lax Ends, Oct 2022 [arXiv]

Talks

• 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]

Links

Friends

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