性別:女 出生年月:1998.08
聯系方式:chenyu@chzu.edu.cn
職稱:助教
職務:專任教師
個人簡歷
2016.09 - 2020.06,上海大學,計算機科學與技術,本科。
2020.09 - 2023.06,華東師范大學,軟件工程,碩士。
主講課程
《軟件需求工程》、《Python編程》等
教學研究
[1] 校級一般教學研究項目——面向應用型人才培養(yǎng)的《軟件需求工程》課程探索與實踐
科學研究
·主要論文
Chen Yu, Xiaoyu Zhang, and Jianwen Li. "Finite quantified linear temporal logic and its satisfiability checking." International Conference on AI Logic and Applications. Singapore: Springer Nature Singapore, 2022.
Chen Yu, et al “Two-Factor Authentication for IIoT Systems Utilizing Environmental Background Features”, 2024 International Conference on Networking and Network Applications (NaNA). IEEE, 2024.
·專利
一種基于FQLTL語言的實例生成方法及系統(tǒng),ZL 2021 1 1570950.4
通訊員:;初審:;終審人:吳文杰
