文書の過去の版を表示しています。
This page is not fully translated, yet. Please help completing the translation.
Computing and Information Theory Laboratory « Research Institute of Electrical Communication « Tohoku University
Nakano Laboratory
Our research field is around programming. Main research topics are as follows:
- Programming Language Processors
- Functional Programming
- Program Verification
- Program Transformation
- Formal Language
- Bidirectional Transformation
- Semantics of Programming Languages
Members
| Position | Name (jp) | Name (en) | |
|---|---|---|---|
| Prof. | 中野 圭介 | NAKANO Keisuke | ksk + @riec.tohoku.ac.jp |
| Assistant Prof. | 浅田 和之 | ASADA Kazuyuki | asada + @riec.tohoku.ac.jp |
| Special Research Students | 阿部 和敬 | ABE Kazuhiro | kazabe + @riec.tohoku.ac.jp |
| 小澤 祐也 | OZAWA Yuya | yozawa + @riec.tohoku.ac.jp | |
| 高橋 祐多 | TAKAHASHI Yuta | tkhsh + @riec.tohoku.ac.jp |