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
| Sep 19, 2026 | I will participate in Autumn school “Proof and Computation” 2026, Fischbachau (Germany), 13-19 September 2026. |
|---|---|
| Jun 26, 2026 | I will attend (online) Symposium on Advances in Mathematical Logic (SAML) 2026, Kyoto (Japan), 23-26 June 2026. |
| Jun 05, 2026 | I will attend 第37回可換環論セミナー (Seminar on Commutative Ring Theory), Chiba (Japan), 2-5 June 2026. |
| May 30, 2026 | I will attend CCC 2026: Continuity, Computability, Constructivity – From Logic to Algorithms, Kyoto (Japan), 27-30 May 2026. |
| Apr 20, 2026 | I will attend Taming the Infinite: Logic, Algebra, and Constructive Mathematics, Verona (Italy), 20 April 2026. |
| Apr 17, 2026 | I will attend 7th Workshop on Formal Topology, Venice (Italy), 13-17 April 2026. |
| Mar 19, 2026 | I talked about Jacobson rings and closed point preserving maps in Dagstuhl Seminar 26121: Proof Systems in Actual Practice: Reasoning and Computation, Wadern (Germany), 15-20 March 2026. |
| Mar 02, 2026 | I will be staying in Verona until the end of April 2026. |
| Feb 08, 2026 | I attended Categories in Tokyo 第2回集会, Hitotsubashi (Japan), 07-08 February 2026. |
| Jan 11, 2026 | I talked about injective sets in constructive mathematics at 可算集合オフ (Offline meeting on countable sets), Ookayama (Japan), 11 January 2026. |