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)
  • Papers Available for Download via ACM Author-Izer Service
• Members
• Theses (in Japanese)
• 研究室に配属希望の方へ

Updates

• 2024年度情報理工学院 第1回説明会 - April 20, 2024
• Computer Software Article - April 1, 2024
• PPL2024 Posters - March 5, 2024
• ICSCA2024 Talk - February 1, 2024 (Excellent Paper Presentation)
• 博士論文発表会（横山陽彦）/ Ph.D. Defense (Akihiko Yokoyama) - January 24, 2024
• 2024年度研究室見学会 - January 12, 2024
• WCTP2023 Talk - December 4, 2023
• APRIS2023 Talk - November 1, 2023 (Best Paper Award)

…or you can find more in the archives.