Japan Advanced Institute of Science and Technology (JAIST)
1-1 Asahidai, Nomi-shi, Ishikawa, 923-1292 Japan
IS Bldg. 6F Room I-64a
Tel: +81-761-51-1260
Members
Supervisor
Students
- NAKAGAMA, Yutaro (D2, Tokyo satellite)
- NGO, Tien Duc (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.
- Application of the above techniques to robots, vehicle embedded systems, and machine-learning-based systems.