戸田誠之助
1982年3月 - 電気通信大学電気通信学部計算機科学科卒業
1984年3月 - 電気通信大学大学院電気通信学研究科計算機科学専攻(修士課程)修了
1984年4月 - 文部省国文学研究資料館研究情報部助手
1988年 - 電気通信大学電気通信学部情報工学科助手
1990年 - カリフォルニア大学サンタバーバラ校客員研究員
1991年 - 東京工業大学理学博士学位取得 論文名は Computational Complexity of Counting Complexity Classes(数え上げ問題の計算量クラスの計算複雑さ)
1992年 - 電気通信大学電気通信学部情報工学科助教授
1992年 - ウルム大学客員研究員
1995年 - 日本大学文理学部応用数学科助教授
1998年7月 - 1998年ゲーデル賞受賞
1998年11月 - 第12回日本IBM科学賞受賞
表示
編集