| In our laboratory, we study how to build formal models for complex objects in the real world. Particularly, we focus on concurrent systems and hybrid systems, where a concurrent system is a dynamic system in which many interacting processes run concurrently, and a hybrid system is a dynamic system that exhibits both continuous and discrete dynamics. |
| 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Hiraishi Laboratory, School of Information Science, Japan Advanced Institute of Science and Technology |