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