Computing Information Theory Laboratory <<
[[http://www.riec.tohoku.ac.jp/|Research Institute of Electrical Communication]] <<
[[https://www.tohoku.ac.jp/|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                                                     ^ Email                                        |   |
| Prof.                  | [[http://www.riec.tohoku.ac.jp/~ksk/|NAKANO Keisuke]]    | ksk + @riec.tohoku.ac.jp                     |   |
| Assistant Prof.        | [[http://www.riec.tohoku.ac.jp/~asada/|ASADA Kazuyuki]]  | asada + @riec.tohoku.ac.jp                   |   |
| :::                    | [[https://kentaro-kikuchi.github.io/|KIKUCHI Kentaro]]   | kentaro.kikuchi + riec.tohoku.ac.jp          |   |
| Master's Student       | ITO Yo                                                   | yoito + riec.tohoku.ac.jp                    |   |
| :::                    | NAKAMURA Takumu                                          | takumu + riec.tohoku.ac.jp                   |   |
| :::                    | NOGI Chihiro                                             | nogi + riec.tohoku.ac.jp                     |   |
| :::                    | SAITO Yuki                                               | yuki1226 + riec.tohoku.ac.jp                 |   |
| :::                    | HUA Xiu-Heng Kevin                                       | xhua + riec.tohoku.ac.jp                     |   |
| :::                    | SATO Ryunosuke                                           | sato.ryunosuke.q4 + dc.tohoku.ac.jp          |   |
| COLABS                 | Marie Marken                                             | marken.marie.magdalena.q6 + dc.tohoku.ac.jp  |   |
| Undergraduate Student  | ONODERA Kosuke                                           | onodera.kosuke.s5 + dc.tohoku.ac.jp          |   |
| :::                    | NAKAI Mizuki                                             | nakai.mizuki.q8 + dc.tohoku.ac.jp            |   |
| :::                    | NAGATA Kazuki                                            | nagata.kazuki.s1 + dc.tohoku.ac.jp           |   |


OB:
  * 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

===== Links =====
  * [[https://www.tohoku.ac.jp/|Tohoku University]]
  * [[http://www.riec.tohoku.ac.jp/|Research Institute of Electrical Communication (Tohoku University)]]
  * [[https://ipl.cs.uec.ac.jp/|Iwasaki Lab. (The University of Electro-Communications)]]
  * [[http://research.nii.ac.jp/~hu/|Hu Lab. (National Institute of Informatics)]]
  * [[http://takeichi.ipl-lab.org/|The site of Takeichi Lab. (University of Tokyo)]]
  * [[internal:start|Members Only]]