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. | NAKANO Keisuke | ksk + @riec.tohoku.ac.jp |
| Assistant Prof. | ASADA Kazuyuki | asada + @riec.tohoku.ac.jp |
| Master's Student | SATO Akira | akira_sato + riec.tohoku.ac.jp |
| HAGA Yuta | hayu1176 + riec.tohoku.ac.jp | |
| MIYASAKA Yusuke | miya4423 + riec.tohoku.ac.jp | |
| Undergraduate Student | ISHINOHACHI Kenta | pacifica + riec.tohoku.ac.jp |
| UENISHI Mayu | mayu0802 + riec.tohoku.ac.jp |
OB:
- 2021: IMAZU Tetsuhiro
- 2020: NISHIYAMA Shun, SANADA Kota
- 2019: ABE Kazuhiro, OZAWA Yuya, TAKAHASHI Yuta