Programming Systems Group (渡部研究室)

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: EN / JA (T2R2)
• Members
• Theses (in Japanese)

Updates

• Journal of Information Processing Article - October 15, 2021
• SWEST23 Talk - September 2, 2021
• JSSST2021 Talks - September 1, 2021
• SIGEMB57 Talks - June 28, 2021
• 研究室配属希望者のみなさまへ（2021年大学院入試） - May 29, 2021
• Computer Software Article - April 23, 2021
• SIGPRO133 Talk - March 16, 2021
• ICSCA2021 Talk - February 23, 2021

…or you can find more in the archives.