町田 文雄

交通システムや電力システム、金融取引システムなど、私たちの生活や経済活動は多くのICTシステムで支えられています。社会のインフラとなるこのようなICTシステムを安心して使えるようにするためには、システムのディペンダビリティ（信頼性）を、その設計から構築、運用といったライフサイクルに渡って継続的に高めていく取り組みが必要です。私たちの社会を支えるICTシステムをより信頼できるようにする技術の研究に携わってみませんか。