1-1 Asahidai, Nomi-shi, Ishikawa, 923-1292 Japan
IS Bldg. 6F Room I-64a
- NAKAGAMA, Yutaro (D2, Tokyo satellite)
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.