Programming Systems Group (渡部研究室)

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

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

As we are currently in the process of making various changes, we will continue to use our previous email addresses and URLs (titech.ac.jp) for the time being.


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)

Updates

…or you can find more in the archives.