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
- JSSST2020 Talk - September 8, 2020
- SIGEMB54 Talk - June 26, 2020
- 情報理工学院情報工学系研究室説明会 - May 16, 2020
- IPSJ Transactions on Programming Article - April 27, 2020
- 情報理工学院説明会（第1回） - April 25, 2020
- PPL2020 Talk & Posters - March 2, 2020
- 研究室合同説明会（2020年度学士特定課題研究・研究室配属希望者向け） - February 18, 2020
- SIGPRO126 Talk - October 30, 2019
…or you can find more in the archives.