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

Access

• Public Transportation Access to Gifu University
• Campus Map