Profile

Takuo Watanabe is a professor in the Department of Computer Science at the Institute of Science Tokyo (former Tokyo Institute of Technology). He received his Ph.D. in Science from the Department of Information Science at the Tokyo Institute of Technology in 1991. His research is mainly situated in the field of programming models and languages, formal methods, embedded systems, and secure computing. His recent interest is to understand the nature of reactive programming models for embedded/cyber-physical systems.

Contact

Employment and Research Experience

Education

Ph. D. Thesis

Recent Academic Activities


略歴

1986年東京工業大学理学部情報科学科卒業. 1991年同大大学院理工学研究科情報科学専攻博士後期課程修了. 理学博士. 日本学術振興会特別研究員,イリノイ大学計算機科学科研究員,北陸先端科学技術大学院大学情報科学研究科助教授,東京工業大学大学院情報理工学研究科計算工学専攻准教授をへて,現在,東京科学大学情報理工学院情報工学系教授. メタプログラミングと自己反映計算,形式手法,計算機言語の研究に従事.

連絡先