所長 Director
米澤 明憲 Akinori Yonezawa

Ph.D. 1978年 MIT 大学院電気工学及び計算機科学博士課程修了。この間、同人工知能研究所にて研究助手。帰国後、東京工業大学理学部情報科学科助手を経て同教授。1989年東京大学理学部情報科学科教授。2006年同情報基盤センター長。2011年理化学研究所計算科学研究機構副機構長。米国計算機学会 (ACM) フェロー、国際オブジェクト技術協会 (AITO) ダール・二ゴール賞大川賞、紫綬褒章など。東京大学名誉教授。2015年4月より STAIR 所長。

MIT の Hewitt 教授による並列・分散計算の枠組みである ACTOR 理論をベースに、並列オブジェクトという概念を提唱し、これに基づくプログラミング言語の設計、その並列・分散コンピュータ上での実装などを行った。イリノイ大学の Kale 教授のグループでは、並列オブジェクトを基礎としたスパコン用のプログラミングシステムを開発し、分子生物学等の分野におけるシミュレーションで大きな成果を上げている。


He received Ph.D. from the Massachusetts Institute of Technology in 1978. Meanwhile, he worked as a research assistant at the Laboratory for Artificial Intelligence Laboratory of MIT. After his return to Japan, he worked first as a research assistant, and then as a professor of Tokyo Institute of Technology. He worked as a professor of the Department of Information Science, the University of Tokyo from 1989. He also worked as a director of Information Technology Center, the University of Tokyo from 2006. He worked as a deputy director of RIKEN Advanced Institute for Computational Science from 2011. He received honors and awards that include the ACM Fellow, the AITO Dahl-Nygaard Prize, the Okawa Prize, the Medal with Purple Ribbon, and so forth. He is Professor Emeritus of the University of Tokyo. He is the director of STAIR from Apr. 2015.

He is best known as the pioneer of the notion of Concurrent Objects, based on the Actor model theory, which is a framework for parallel/distributed computation proposed by Prof. Curl Hewitt of MIT. He also designed programming languages based on Concurrent Objects and implemented them on parallel/distributed computers. The group led by Prof. Sanjay Kale of University of Illinois at Urbana-Champaign developed their programming system for supercomputers based on Concurrent Objects and achieved significant results in simulation for molecular biology.

(His old profile page at former Yonezawa Laboratory, University of Tokyo)

Research Interest

人間の言語獲得、ニューラルネットワーク、人工知能、プログラム検証、オブジェクト指向技術、ソフトウエア工学 Human Language Acquisition, Neural Network, Artificial Intelligence, Program Verification, Object-Oriented Technology, Software Engineering