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
- SIGPRO126 Talk - October 30, 2019
- REBLS2019 Talk - October 21, 2019
- 研究室公開 (工大祭) [中止になりました] - October 12, 2019
- WCTP2019 Talk - September 26, 2019
- ESS2019 Poster - September 5, 2019
- SNPD2019 Talk - July 8, 2019
- SIGEMB51 Posters - June 21, 2019
- ETNET2019 Talk - March 17, 2019
…or you can find more in the archives.