[ Japanese | English ]
Kusakari-Imai Laboratory
Research Interest
- Program Theory
- Term Rewriting System
- Automated Theorem Proving
- Program Verification
- Functional programming languages and their application
- Concurrency theory and behavioural types
Member
- Professor
- KUSAKARI Keiichirou
- Assistant Professor
- IMAI Keigo
- M1
-
ISHIKAWA Yuya,
TANAKA Fuga
- B4
-
UEKI Norifumi,
OKUMURA Ryouta,
KIMURA Shunsuke,
YOKOI Masaya
- B3
-
INOUE Junichi,
OGISO Yasuyuki,
KOYAMA Megumi,
SENDA Yuya,
BABA Daisuke,
YAMADA Yuya
Access
[Faculty of Engineering]
[Gifu University]