Takuo Watanabe

Registered user since Fri 7 Aug 2015

Name: Takuo Watanabe

Bio: 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.

Country: Japan

Affiliation: Tokyo Institute of Technology

Personal website: http://www.psg.c.titech.ac.jp/~takuo/

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

Contributions

REBLS 2019Committee Member in Program Committee within the REBLS-track
AGERE 2018Author of Distributed Functional Reactive Programming on Actor-Based Runtime within the AGERE-track
COP 2018Author of A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems within the COP-track
META 2017Committee Member in Program Committee within the Meta 2017-track
Author of Reactive Reflection in an FRP Language for Small-Scale Embedded Systems within the Meta 2017-track
AGERE 2017Author of Actoverse: A Reversible Debugger for Actors within the AGERE 2017-track
Committee Member in Program Committee within the AGERE 2017-track
LASSY 2017Author of Towards Reflection in an FRP Language for Small-Scale Embedded Systems within the LASSY 2017-track
META 2016Committee Member in Program Committee within the Meta 2016-track
AGERE 2016Programme Committee in Program Committee within the AGERE 2016-track
Author of Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems within the AGERE 2016-track
Reflect 2016Programme Committee in Program Committee within the Reflect 2016-track
CROW 2016Author of Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems within the CROW 2016-track
AGERE! 2015Author of Actario: A Framework for Reasoning About Actor Systems within the AGERE-track
Committee Member in Program Committee within the AGERE-track
AGERE!Committee Member in Program Committee