Programming Systems Group (渡部研究室)

Department of Computer Science, School of Computing
Tokyo Institute of Technology

We are investigating the principles and mechanisms to simplify the development of secure and reliable computing systems. Our approach is multidisciplinary, combining techniques in the fields of programming languages, system software and formal methods.

Contact: Takuo Watanabe (Professor, Department of Computer Science)

Publications

News

…or you can find more in the archives.