Zin ARAI
Hitoshi ARAI
Takashi SAKAJO
Hiroshi SUITO
Dan TANAKA
Kaori NAGATOU
Yumiharu NAKANO
Masaharu NAGAYAMA
Katsuhiro NISHINARI
Ichiro HASUO
Kazuhisa MAKINO
Nakahiro YOSHIDA
Ichiro HASUO
Lecturer
Graduate School of Information Science and Technology, The University of Tokyo
Research Theme
Mathematical Foundation of "Science of Computer Systems"Computer systems--large-scale information-processing systems consisting of multiple computers--are notoriously hard to design correctly. Still their failure can nowadays have a huge social and economic impact. My research activity aims at mathematical foundation which will be to the "science of computer systems" what the Cartesian coordinate system is to physics. Such a mathematical development will not only yield effective engineering methods for correct computer systems, but also identify structures which are in themselves interesting from a mathematical point of view.