Research

Home >> Research >> Ichiro HASUO
PRESTO
CREST

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.

Japan Science and Technology Agency HOME