Program Verification Techniques for the AI Era
- 2.5 High reliability
- 3.8 Informatics
- 4.5 Safety and security
Naoki Kobayashi
Graduate School of Information Science and Technology
Professor
Based on the recent advance of AI technologies, this project aims to apply machine learning techniques to improve program verification and synthesis. The project also aims to advance program verification techniques to improve the reliability of software systems containing machine learning components. The project is supported by the JSPS Grant-in-Aid for Scientific Research (S).
Related links
Related publications
Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno, “Toward Neural-Network-Guided Program Synthesis and Verification”, Proceedings of SAS 2021.
Contact
- Graduate School of Information Science and Technologies
- Email: koba[at]is.s.u-tokyo.ac.jp
※[at]=@
