| Family Name |
渡部 |
Watanabe |
| First Name |
卓雄 |
Takuo |
| Organization |
Institute of Science Tokyo
School of Computing
|
| Title |
|
| ResearcherID |
C-6494-2015
|
| ORCID ID |
|
Area of Supervision : Primary |
|
| Research Bases |
|
| Specialized Field |
Software (Programming paradigm/Programming language theory〓Parallel processing/D istributed processing〓Specification/Verification of specification〓Implementation of programming systems〓Software engineering〓Embedded software)
|
| Research Field of Searching for Researchers |
Electrical, Information & Mechanical Engineering - Software Engineering
|
| Research Theme |
programming languages,〓computational reflection,〓concurrency,〓formal methods |
| Researcher Profile |
|
| Lecture Note |
TokyoTech Open Course Ware |
| Degree |
Object-oriented models for reflection in concurrent systems,
Thesis,
Doctor of Science,
Tokyo Institute of Technology,
1991/03/26,
Official URL
|
| Related Page |
|