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
- SIGEMB68 Talk - July 11, 2025
- PPL2025 Posters - March 5, 2025
- Computer Software Article - January 25, 2025
- 2025年度研究室見学会(新B4向け) - January 17, 2025
- APRIS2024 Talk - November 5, 2024
- WCTP2024 Talk - November 4, 2024
- MPLR2024 Talk - September 19, 2024
- JSSST2024 Talk - September 10, 2024
…or you can find more in the archives.