Computing Information Theory Laboratory « Research Institute of Electrical Communication « Tohoku University
Nakano Laboratory
The central topic of our research is programming.
Research interests:
- Functional Programming
- Program Verification
- Program Transformation
- Formal Language
- Bidirectional Transformation
- Semantics of Programming Languages
Members
| Position | Name | ||
|---|---|---|---|
| Prof. | Keisuke Nakano | ksk + @riec.tohoku.ac.jp | |
| Assistant Prof. | Kazuyuki Asada | asada + @riec.tohoku.ac.jp | |
| Kentaro Kikuchi | kentaro.kikuchi + riec.tohoku.ac.jp | ||
| Docter's Student | Yo Ito | ||
| Takumu Nakamura | |||
| Master's Student | Ryunosuke Sato | ||
| Kosuke Onodera | |||
| Kazuki Nagata | |||
| Jotaro Takasugi | |||
| Ryunosuke Yamada | |||
| Undergraduate Student | Osamu Kamiya | ||
| Ryunosuke Sasaki |
OB:
- 2026: Yuki Saito, Kevin Hua Xiu-Heng, Kevin Gustavo Flores（JYPE）
- 2025: Chihiro Nogi, Mizuki Nakai, Marie Marken（COLABS）
- 2024: Mayu Uenishi, Naotaka Kanno, Keishi Hashiba, Julia Plotnikova（COLABS）
- 2023: Yuta Haga, Yusuke Miyasaka, Kenta Ishinohachi
- 2022: Akira Sato
- 2021: Tetsuhiro Imazu, Altermatt Jean-Marc Bastien（JYPE）
- 2020: Shun Nishiyama, Kota Sanada
- 2019: Kazuhiro Abe, Yuya Ozawa, Yuta Takahashi