東京工業大学
慶応普通部、慶応高校、慶応大学工学部、東京工業大学理学部を経て、1976年東京工業大学大学院修士課程修了。1977年博士課程を中退し、東京工業大学理学部情報科学科助手。山梨大学工学部、東京工業大学工学部を経て、1996年東京工業大学大学院教授。2016年東京工業大学名誉教授。