Takuo Watanabe (渡部 卓雄)

Professor, Ph. D.
Department of Computer Science, School of Computing
Institute of Science Tokyo

I have been working in the area of programming languages, programming methodologies, formal methods and secure computing. My research focuses on understanding the nature of reflective behaviors of concurrent computational systems, inventing new applications of reflection, and developing new abstraction mechanisms and programming models for safe/secure embedded systems.

I proposed a model of reflection in concurrent objects and developed a series of object-oriented concurrent programming language ABCL/R, which was the first attempt to apply reflection to concurrent systems. With this work and some successor works, I could widen the potential of computational reflection. One of the significant results at the time was a new kind of modularity introduced by the reflection that could provide the clear separation of various computational concerns in concurrent systems. The results had anticipated future developments in Aspect-Oriented Programming.

My recent works include: Theoretical approach to run-time monitoring of concurrent systems, Incremental development method of formally-verified programs, Functional reactive programming language for small-scale embedded systems, and Debugging method for actor-based concurrent systems based on reverse execution.

Research

Teaching

Posts

See also my Lab. website.

…or you can find more in the archives.