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

Updates

• SIGPRO143 Talk - March 22, 2023
• MoreVMs2023 Talk - March 13, 2023
• PPL2023 Posters - March 6, 2023
• 2023年度研究室見学会 - January 13, 2023
• SIGPRO142 Talk - January 12, 2023
• REBLS2022 Talk - December 7, 2022
• JSSST2022 Talk - September 1, 2022
• SIGEMB60 Talk - July 8, 2022

…or you can find more in the archives.