Name:Takuo Watanabe

Bio:

Takuo Watanabe is Professor in the Department of Computer Science at Institute of Science Tokyo. 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.

Note: On Oct. 1, 2024, Tokyo Institute of Technology merged with Tokyo Medical and Dental University and became Institute of Science Tokyo.

Country:Japan

Affiliation:Institute of Science Tokyo

Research interests:Programming Languages, Embedded Systems, Formal Methods