- 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.