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)
Updates
- Computer Software Article - April 1, 2021
- ICSCA2021 Talk - February 23, 2021
- 研究室見学会(2021年度学士特定課題研究・研究室配属希望者向け) - January 15, 2021
- WCTP2020 Talks - November 21, 2020
- APRIS2020 Talk - November 9, 2020
- JSSST2020 Talk - September 8, 2020
- SIGEMB54 Talk - June 26, 2020
- 情報理工学院情報工学系研究室説明会 - May 16, 2020
…or you can find more in the archives.