About Our Group

Place

institute:

Japan Advanced Institute of Science and Technology

room:

I-54 on 5th floor of Information Science Building II

Research

Our research group studies the theory of computation and automated deduction.

• laboratory introduction (2026 version) (pdf)
• laboratory introduction (2025 version) (pdf)

Keywords

computational models, term rewriting, functional programming, automated theorem proving, termination, complexity analysis, confluence, completion, evaluation strategies

Recommended Courses

• I120 Fundamentals of Logic and Mathematics
• I211 Mathematical Logic
• I217 Functional Programming