Last update: Sep 10, 2015
by kusakari @gifu-u.ac.jp
KUSAKARI Keiichirou
Professor,
Informatics Course,
Department of Electrical, Electronic and Computer Engineering,
Faculty of Engineering,
Gifu University
Japanese Version here
Research Interests
- Program Theory
- Term Rewriting System
- Automatic Theorem Proving
- Program Verification
Profile
[Kusakari-Imai Lab.]
[Faculty of Engineering]
[Gifu Univ.]