【情報工学部】
情報工学部の張江助教がIEEE CANDAR 2024で研究発表を行いました。

　11月28日、沖縄で開催されたCANDAR 2024で情報工学部の張江洋次朗助教が「CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems」について発表を行いました。動画像データを用いたコンピュータシステムを分析し、仕様を検証するシステム「CodoMo」について発表を行い、ジェスチャーを使ってドローンを制御するプログラムの仕様検証を行った結果を紹介しました。
　本研究は、同学部の小形優人講師、ゴータム・ビスヌ・プラサド教授、信州大学の和崎克己教授との共同研究であり、科研費JP23K05416の助成を受けています。