Programming Systems Group (渡部研究室)
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)
- Research
- Publications / Presentations: EN / JA (T2R2)
- Papers Available for Download via ACM Author-Izer Service
- Members
- Theses (in Japanese)
- 研究室に配属希望の方へ
Updates
- Computer Software Article (accepted) - January 25, 2025
- APRIS2024 Talk - November 5, 2024
- WCTP2024 Talk - November 4, 2024
- MPLR2024 Talk - September 19, 2024
- JSSST2024 Talk - September 10, 2024
- SWEST26 Poster & Demo - August 29, 2024
- Computer Software Article - July 25, 2024
- SIGEMB66 Talk - July 19, 2024
…or you can find more in the archives.