性别:     出生年月:1998.08

联系方式:chenyu@chzu.edu.cn

职称:助教

职务:专任教师



个人简历

2016.09 - 2020.06,上海大学,计算机科学与技术,本科。

2020.09 - 2023.06,华东师范大学,软件工程,硕士。

主讲课程

软件需求工程》、《Python编程》等

教学研究

[1] 校级一般教学研究项目——面向应用型人才培养的《软件需求工程》课程探索与实践

学研究

·主要论文

  1. 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.

  2. 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.

·专利

  1. 一种基于FQLTL语言的实例生成方法及系统,ZL 2021 1 1570950.4