Personal Information
Entreprise/Lieu de travail
Japan Japan
Profession
Professor at Tokyo Institute of Technology
Secteur d’activité
Education
À propos
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.
Mots-clés
actors
reflection
microcontrollers
actor model
embedded systems
functional reactive programming
formal methods
software fault injection
model checking
context-oriented programming
Tout plus
Présentations
(4)J’aime
(20)InfiniBandを中心としたデータセンタ内インタコネクトの動向
Ryousei Takano
•
il y a 13 ans
数学カフェ 確率・統計・機械学習回 「速習 確率・統計」
Ken'ichi Matsui
•
il y a 7 ans
Actors and functional_reactive_programming
Diego Alonso
•
il y a 4 ans
ゼロから学ぶゲーム理論
Yosuke YASUDA
•
il y a 5 ans
優れた研究論文の書き方
Masanori Kado
•
il y a 4 ans
WTF is Reactive Programming
Evgeny Poberezkin
•
il y a 7 ans
優れた研究論文の書き方―7つの提案
Masanori Kado
•
il y a 8 ans
Bitcoinを技術的に理解する
Kenji Urushima
•
il y a 9 ans
研究室リテラシー教育スライド
Nobutaka Shimada
•
il y a 10 ans
いつやるの?Git入門 v1.1.0
Masakazu Matsushita
•
il y a 10 ans
実行時のデータ型の表現手法
Atusi Maeda
•
il y a 11 ans
Agere.talk
Akinori Yonezawa
•
il y a 11 ans
色彩センスのいらない配色講座
Mariko Yamaguchi
•
il y a 12 ans
V6 unix in okinawa
magoroku Yamamoto
•
il y a 12 ans
JavaOne Tokyo JVM言語BOF ベンチマーク JRuby
Hiroshi Nakamura
•
il y a 12 ans
できる!並列・並行プログラミング
Preferred Networks
•
il y a 12 ans
エンジニアなら知っておきたい「仮想マシン」のしくみ v1.1 (hbstudy 17)
Takeshi HASEGAWA
•
il y a 13 ans
Deep C
Olve Maudal
•
il y a 12 ans
自動定理証明の紹介
Masahiro Sakai
•
il y a 12 ans
Monad tutorial
Hideyuki Tanaka
•
il y a 12 ans
Personal Information
Entreprise/Lieu de travail
Japan Japan
Profession
Professor at Tokyo Institute of Technology
Secteur d’activité
Education
À propos
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.
Mots-clés
actors
reflection
microcontrollers
actor model
embedded systems
functional reactive programming
formal methods
software fault injection
model checking
context-oriented programming
Tout plus