Write a Blog >>
SLE 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Takuo Watanabe

Registered user since Fri 7 Aug 2015

Name:Takuo Watanabe

Takuo Watanabe is Professor in the Department of Computer Science at 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, and formal methods. His research focuses on understanding the nature of reflective behaviors in concurrent systems, inventing new applications of computational reflection, and developing new abstraction mechanisms and programming models for safe/secure systems.

Affiliation:Tokyo Institute of Technology
Research interests:Computational Reflection, Concurrency, Programming Languages, Formal Methods


META 2017 Committee Member in Program Committee within the Meta 2017-track
Reactive Reflection in an FRP Language for Small-Scale Embedded Systems
AGERE 2017 Actoverse: A Reversible Debugger for Actors
Committee Member in Program Committee within the AGERE 2017-track
Show activities from other conferences

SPLASH 2017-profile
View general profile