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
- MPLR2024 Talk - September 19, 2024
- SWEST26 Poster & Demo - August 29, 2024
- Computer Software Article - July 25, 2024
- SIGEMB66 Talk - July 19, 2024
- 2024年度情報理工学院 第1回説明会 - April 20, 2024
- PPL2024 Posters - March 5, 2024
- ICSCA2024 Talk - February 1, 2024 (Excellent Paper Presentation)
- 博士論文発表会(横山陽彦)/ Ph.D. Defense (Akihiko Yokoyama) - January 24, 2024
…or you can find more in the archives.