Personal Information
Organization / Workplace
Japan Japan
Occupation
Professor at Tokyo Institute of Technology
Industry
Education
About
Takuo Watanabe is a professor in the Department of Computer Science at the Tokyo Institute of Technology. He received his Ph. D. from the Department of Information Science at the Tokyo Institute of Technology in 1991. He is working in the area of programming languages, programming methodologies, formal methods and secure computing. His research focuses on understanding the nature of reflective behaviors of concurrent systems, inventing new applications of computational reflection, and developing new abstraction mechanisms and programming models for safe/secure systems.
Tags
actors
reflection
microcontrollers
actor model
embedded systems
functional reactive programming
formal methods
software fault injection
model checking
context-oriented programming
See more
Presentations
(4)Likes
(20)InfiniBandを中心としたデータセンタ内インタコネクトの動向
Ryousei Takano
•
13 years ago
数学カフェ 確率・統計・機械学習回 「速習 確率・統計」
Ken'ichi Matsui
•
7 years ago
Actors and functional_reactive_programming
Diego Alonso
•
4 years ago
ゼロから学ぶゲーム理論
Yosuke YASUDA
•
5 years ago
優れた研究論文の書き方
Masanori Kado
•
4 years ago
WTF is Reactive Programming
Evgeny Poberezkin
•
6 years ago
優れた研究論文の書き方―7つの提案
Masanori Kado
•
8 years ago
Bitcoinを技術的に理解する
Kenji Urushima
•
9 years ago
研究室リテラシー教育スライド
Nobutaka Shimada
•
9 years ago
いつやるの?Git入門 v1.1.0
Masakazu Matsushita
•
10 years ago
実行時のデータ型の表現手法
Atusi Maeda
•
11 years ago
Agere.talk
Akinori Yonezawa
•
11 years ago
色彩センスのいらない配色講座
Mariko Yamaguchi
•
12 years ago
V6 unix in okinawa
magoroku Yamamoto
•
12 years ago
JavaOne Tokyo JVM言語BOF ベンチマーク JRuby
Hiroshi Nakamura
•
12 years ago
できる!並列・並行プログラミング
Preferred Networks
•
12 years ago
エンジニアなら知っておきたい「仮想マシン」のしくみ v1.1 (hbstudy 17)
Takeshi HASEGAWA
•
13 years ago
Deep C
Olve Maudal
•
12 years ago
自動定理証明の紹介
Masahiro Sakai
•
12 years ago
Monad tutorial
Hideyuki Tanaka
•
12 years ago
Personal Information
Organization / Workplace
Japan Japan
Occupation
Professor at Tokyo Institute of Technology
Industry
Education
About
Takuo Watanabe is a professor in the Department of Computer Science at the Tokyo Institute of Technology. He received his Ph. D. from the Department of Information Science at the Tokyo Institute of Technology in 1991. He is working in the area of programming languages, programming methodologies, formal methods and secure computing. His research focuses on understanding the nature of reflective behaviors of concurrent systems, inventing new applications of computational reflection, and developing new abstraction mechanisms and programming models for safe/secure systems.
Tags
actors
reflection
microcontrollers
actor model
embedded systems
functional reactive programming
formal methods
software fault injection
model checking
context-oriented programming
See more