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

MoreVMs 2023	Author of Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices within the MoreVMs'23-track
REBLS 2022	Session Chair of Session 2 (part of Reactive and Event-Based Languages and Systems) Author of Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems within the Reactive and Event-Based Languages and Systems-track Committee Member in Program Committee within the Reactive and Event-Based Languages and Systems-track
SLE 2022	Session Chair of Session 1. Modeling Languages and Transformation (part of SLE 2022)
REBLS 2021	Committee Member in Program Committee within the REBLS 2021-track
REBLS 2020	PC Member in Program Committee within the REBLS 2020-track
REBLS 2019	Committee Member in Program Committee within the REBLS-track Author of Towards a Statically Scheduled Parallel Execution of an FRP Language for Embedded Systems within the REBLS-track
AGERE 2018	Author of Distributed Functional Reactive Programming on Actor-Based Runtime within the AGERE-track
COP 2018	Author of A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems within the COP-track
META 2017	Committee 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 2017	Author of Actoverse: A Reversible Debugger for Actors within the AGERE 2017-track Committee Member in Program Committee within the AGERE 2017-track
LASSY 2017	Author of Towards Reflection in an FRP Language for Small-Scale Embedded Systems within the LASSY 2017-track
AGERE 2016	Programme 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
META 2016	Committee Member in Program Committee within the Meta 2016-track
Reflect 2016	Programme Committee in Program Committee within the Reflect 2016-track
CROW 2016	Author of Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems within the CROW 2016-track
AGERE! 2015	Author 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