Ryota Kuroki
Graduate student
Graduate School of Mathematical Sciences, The University of Tokyo,
3-8-1 Komaba, Meguro-ku, Tokyo, 153-8914, Japan
Name in Japanese: 黒木 亮汰 [kɯ̟ɾo̞kʲi ɾʲo̞ːta̠]
Interests: constructive algebra, (strongly predicative algebra, proof mining)
Email: kuroki-ryota128 [at] g.ecc.u-tokyo.ac.jp
news
| Apr 17, 2026 | I will attend 7th Workshop on Formal Topology, Venice (Italy), 13-17 April 2026. |
|---|---|
| Mar 20, 2026 | I will attend Dagstuhl Seminar 26121: Proof Systems in Actual Practice: Reasoning and Computation, Wadern (Germany), 15-20 March 2026. |
| Dec 23, 2025 | I will talk about free modules in constructive algebra at RIMS共同研究「証明論と計算論の新地平」, Kyoto (Japan), 22-25 December 2025. Slides. |
| Oct 17, 2025 | I talked about a quantitative Hilbert’s basis theorem and the constructive Krull dimension at 数学基礎論若手の会 2025, Maebashi (Japan), 16-18 October 2025. Slides (short version of the slides used at CIRM 3377). |
| Sep 20, 2025 | I participated in Autumn school “Proof and Computation”, Herrsching (Germany), 14-20 September 2025. |