AGERE! 2015
Sun 25 - Mon 26 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
Takuo Watanabe

Registered user since Fri 7 Aug 2015

Name: Takuo Watanabe

Bio: Takuo Watanabe is an associate 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, 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.

Country: Japan

Affiliation: Tokyo Institute of Technology

Personal website:

Research interests: Computational Reflection, Concurrency, Programming Languages, Formal Methods


AGERE! 2015Author of Actario: A Framework for Reasoning About Actor Systems within the AGERE-track
Committee Member in Program Committee
Show activities from other conferences

SPLASH 2015-profile
View general profile