陳羽

作者:學院辦公室發(fā)布時間:2024-07-10瀏覽次數:472

性別:     出生年月:1998.08

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

職稱:助教

職務:專任教師



個人簡歷

2016.09 - 2020.06,上海大學,計算機科學與技術,本科。

2020.09 - 2023.06,華東師范大學,軟件工程,碩士。

主講課程

軟件需求工程》、《Python編程》等

教學研究

[1] 校級一般教學研究項目——面向應用型人才培養(yǎng)的《軟件需求工程》課程探索與實踐

學研究

·主要論文

  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語言的實例生成方法及系統(tǒng),ZL 2021 1 1570950.4

通訊員:;初審:;終審人:吳文杰

皋兰县| 呼和浩特市| 疏勒县| 连南| 和林格尔县| 天峻县| 肇州县| 阜康市| 绥芬河市| 嫩江县| 泌阳县| 五寨县| 田林县| 清河县| 彭水| 鄂托克旗| 濉溪县| 盐山县| 从江县| 宝鸡市| 洛川县| 察哈| 常山县| 尉氏县| 阳春市| 百色市| 乐至县| 六盘水市| 阿瓦提县| 尉氏县| 呼伦贝尔市| 巨鹿县| 竹北市| 伊吾县| 临泽县| 正宁县| 阳春市| 苏尼特右旗| 黑龙江省| 绥中县| 太仓市|