Japan Advanced Institute of Science and Technology (JAIST)

Next-gen. Digital Infrastructure Research Area (School of Information Science)

1-1 Asahidai, Nomi-shi, Ishikawa, 923-1292 Japan

IS Bldg. 6F Room I-64a

Access Map

Tel: +81-761-51-1260

Members

Faculty

• ISHII, Daisuke

Researcher

• LIN, Pengfei

Students

• NAKAGAMA, Yutaro (D3, Tokyo satellite)
• SEGAWA, Shuichi (D1, Tokyo satellite)
• TANG, Ziming (M1)

Alumni

Research

Research topics, keywords

• Software engineering/science (formal methods, model checking, program verification, etc.).
• Constraint programming (SAT/SMT solvers, numerical constraints, etc.).
• Programming languages (logic programming, functional programming, etc.).
• Cyber-physical systems, continuous/discrete hybrid systems, and ML-based systems.
  • Examples: robots and automobiles.

Reference

• Introductory page (JAIST site)
• Introductory slides
• Publication list (researchmap)