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
Position Name (jp) Name (en) Email
Prof. 中野 圭介 NAKANO Keisuke ksk + @riec.tohoku.ac.jp
Assistant Prof. 浅田 和之 ASADA Kazuyuki asada + @riec.tohoku.ac.jp
Master's Student 今津 徹大 IMAZU Tetsuhiro t-imazu + @riec.tohoku.ac.jp
Undergrad Student 佐藤 光 SATOU Akira akira_sato + @riec.tohoku.ac.jp
眞田 耕太 SANADA Kota kotas + @riec.tohoku.ac.jp

OB:

  • 2019: ABE Kazuhiro, OZAWA Yuya, TAKAHASHI Yuta
  • en/start.txt
  • Last modified: 2019/04/22 00:55
  • by kazabe