Kyushu University · Graduate School of Information Science and Electrical Engineering / Faculty of Information Science and Electrical Engineering · 教授

Research keywordsneural network verification・adversarial attacks・autonomous driving validation・STL falsification・AI-enabled cyber-physical systems・scenario generation・fault localization

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality2025 · PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL 9 ( OOPSLA1 ) 2025年4月 （ eISSN: 2475-1421 ）
• Polygenic prediction of body mass index and obesity through the life course and across ancestries.2025 · Nature medicine 2025年7月 （ ISSN: 1078-8956 ）
• Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation2025 · JOURNAL OF SYSTEMS AND SOFTWARE 229 2025年11月 （ ISSN: 0164-1212 eISSN: 1873-1228 ）
• Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification2025 · 2025 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE, DATE 2025年 （ ISSN: 1530-1591 ISBN: 978-3-9826741-0-0 ）

• 大規模言語モデルのための品質保証技術に関する研究2024 · 研究課題/領域番号： 24K02920 2024年4月 - 2027年3月
• プログラム依存性理論に基づく量子プログラムの統合的開発支援環境の構築2024 · 研究課題/領域番号： 24K14908 2024年4月 - 2027年3月
• AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究2023 · 研究課題/領域番号： 23H03372 2023年 - 2025年
• AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究2023 · 研究課題/領域番号： 23K28062 2023年4月 - 2026年3月

• KAKEN