| In our laboratory, we study how to build formal models, i.e. mathematically and computationally tractable models, for complex objects in the real world. |
| 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Hiraishi Laboratory, Computing Science Research Area, School of Information Science, Japan Advanced Institute of Science and Technology |