Takuo Watanabe
4 SlideShares 74 Followers 87 Followings
Personal Information
Organization / Workplace
Japan Japan
Occupation
Professor at Tokyo Institute of Technology
Industry
Education
Website
http://www.psg.cs.titech.ac.jp/~takuo/
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.
Contact Details
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)
See all

A Reflective Implementation of an Actor-based Concurrent Context-Oriented System

7 years ago • 394 Views

A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems

7 years ago • 295 Views

A Language Support for Exhaustive Fault-Injection in Message-Passing System Models

7 years ago • 275 Views

Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems

7 years ago • 1704 Views

Likes

(20)
See all

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
Website
http://www.psg.cs.titech.ac.jp/~takuo/
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