Takuo Watanabe
74
Followers
Personal Information
Unternehmen/Arbeitsplatz
Japan Japan
Beruf
Professor at Tokyo Institute of Technology
Branche
Education
Info
Takuo Watanabe is a 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, formal methods and secure computing. His research focuses on understanding the nature of reflective behaviors of concurrent systems, inventing new applications of computational reflection, and developing new abstraction mechanisms and programming models for safe/secure systems.
Tags
actors
reflection
microcontrollers
actor model
embedded systems
functional reactive programming
formal methods
software fault injection
model checking
context-oriented programming
Mehr anzeigen
- Präsentationen
- Dokumente
- Infografiken