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
Tel: +81-761-51-1260
Members
Faculty
Researcher
- LIN, Pengfei
Students
- NAKAGAMA, Yutaro (D3, Tokyo satellite)
- SEGAWA, Shuichi (D2, Tokyo satellite)
- TANG, Ziming (M2)
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.