張民
(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〜
申込済
2021
/
11/29
(月)15:00〜
申込済
2020
/
11/10
(火)09:30〜
申込済