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: 黒木 亮汰
Interests: constructive algebra
Email: kuroki-ryota128 [at] g.ecc.u-tokyo.ac.jp
news
| Mar 20, 2026 | I will attend Dagstuhl Seminar 26121: Proof Systems in Actual Practice: Reasoning and Computation, Wadern (Germany), 15-20 March 2026. |
|---|---|
| Sep 20, 2025 | I will participate in Autumn school “Proof and Computation”, Herrsching (Germany), 14-20 September 2025. |
| Sep 10, 2025 | I will talk about a quantitative Hilbert’s basis theorem and the constructive Krull dimension at CIRM Conference 3377: Synthetic mathematics, logic-affine computation and efficient proof systems, Marseille (France), 8-12 September 2025. Abstract, Slides. |
| Feb 20, 2025 | I talked about the quantitative general Nullstellensatz at Logic Winter School III, Wako (Japan), 17-21 February 2025. Slides. |
| Feb 18, 2025 | I attended FoPM 2nd International Symposium, Hongo (Japan), 17-19 February 2025. My poster. |