張民

張民

(ZhangMin82)
利用開始日: 2020/11/05

華東師範大学ソフトウェア工学教授
形式手法でAIシステムの検証方法とツールを研究している。
https://faculty.ecnu.edu.cn/_s43/zm2_6071/main.psp

2023

/

03/17

(金)17:00〜

2022

/

11/30

(水)09:30〜

申込済

第4回 AI/IoTシステム安全性シンポジウム 終了

AI/IoTシステム安全性

第4回 AI/IoTシステム安全性シンポジウム

yt9751227 yt9751227

オンライン開催(1・2日目)集合(3日目)

286/300

2021

/

11/29

(月)15:00〜

申込済

第3回 AI/IoTシステム安全性シンポジウム 終了

AI/IoTシステム安全性

第3回 AI/IoTシステム安全性シンポジウム

yt9751227 yt9751227

オンライン開催(1・2日目)集合(3日目)

444/500

2020

/

11/10

(火)09:30〜

申込済

第2回 AI/IoTシステム安全性シンポジウム(11/10~11/12) 終了

AI/IoTシステム安全性

第2回 AI/IoTシステム安全性シンポジウム(11/10~11/12)

yt9751227 yt9751227

オンライン開催(1・2日目)集合(3日目)

626/700

張民

張民さんのフォロー 0

フォローはいません。

張民さんのフォロワー 0

フォロワーはいません。