- 2024/03 - ヤマト科学株式会社 ヤマト科学賞 暗号の安全性の証明に向けた計算量理論の先駆的研究
- 2024/01 - 情報処理学会 マイクロソフト情報学研究賞 メタ計算量に基づく平均時計算量の研究
- 2022/12 - Complexity result of the year 2022 NP-Hardness of Learning Programs and Partial MCSP
- 2022/02 - 船井情報科学振興財団 船井研究奨励賞 メタ計算量による平均時計算量の革新的な解析手法
- 2019/03 - 電子情報通信学会 学術奨励賞 OR-AND-XOR回路に対する回路最小化問題のNP完全性
- 2018/10 - IEEE Symposium on Foundations of Computer Science (FOCS) Machtey Award Non-black-box Worst-case to Average-case Reductions within NP
- 2018/03 - 電子情報通信学会 COMP-ELC学生シンポジウム 最優秀論文賞 OR-AND-XOR回路に対する回路最小化問題のNP完全性
- 2016/01 - LA/EATCS 学生発表論文賞 オラクルとしての回路最小化問題の限界
全件表示