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       |
| 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


===== 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]]