Theoretical Information Science Area,
School of Information Science,
Japan Advanced Institute of Science and Technology

Foundations of System Science
Hiraishi Lab.
[Japanese] [JAIST Home] [School of Information Science]

Members
Staff
Kunihiko HIRAISHI, Professor

Koichi KOBAYASHI,
Assistant Professor

Doctoral Students 

Sunseong CHOE (D6)
Miwa YOSHIMOTO(D2)

Master Course Students 
 
Jyunya Kokon (M2)
Yusuke TANAKA (M2)
Research Projects

 COE Project: Modeling and Verifiction of 
Workflows for e-Society

 Verification of Hybrid Dynamical Systems

 Formal Models for Coordinating Agents

 Dynamical System Modeling of Gene Interaction

 Modeling and Analysis of Discrete Event Systems


Recent Publications

School of Information Science,
Japan Advanced Institute of Science and Technology
1-1 Asahidai Nomi-shi Ishikawa, 923-1292 Japan