杨茹，女，博士，副教授。2020年毕业于同济大学嵌入式系统与服务计算教育部重点实验室院士团队，获工学博士学位，2021年进入上海师范大学计算机系任教。主要研究方向包括形式化验证、Petri网理论与应用、人工智能+教育等。

主持国家自然科学基金青年项目1项，上海市教委项目1项，校级项目2项，以技术骨干参与多项国家自然科学基金和国家重点研发计划。在IEEE Trans. 等期刊或会议发表相关学术论文30余篇（其中包括中科院一区、二区和ccf-b会议15篇），专利授权2项、申请3项，取得软件著作权1项。2021年10月入选上海市教委智能教育创新团队，2024年12月入选上海师范大学骨干教师教学激励计划协同创新教研团队建设项目。

指导研究生和本科生开展科学研究和创新实践，目前所指导的学生已发表一区论文2篇，二区3篇，三区1篇。指导5项大创项目，其中1项获批国家级。

论文：

• Ru Yang, Zhijun Ding*, MeiQin Pan, Changjun Jiang, and MengChu Zhou*, “Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees,” IEEE Transactions on Systems Man & Cybernetics: Systems, 47(9):2601-2612, Sept. 2017.（一区）

• Ru Yang, Zhijun Ding*, MeiQin Pan, MengChu Zhou, and Changjun Jiang, “Model Checking of Variable Petri Nets by Using Kripker Structure,” IEEE Transactions on Systems Man & Cybernetics: Systems, 2022, doi: 10.1109/TSMC.2022.3163741.（一区）

• Ru Yang, Zhijun Ding*, MengChu Zhou, and Changjun Jiang, “Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets,” IEEE Transactions on Automation Science and Engineering, Sept. 2022.（二区）

• Ru Yang, Zhijun Ding*, MeiQin Pan, “A New Modified Reachability Graph of ω-independent Petri Nets and Its Applications,” 2015 2nd International Conference on Communication Technology (ICCT 2015), 2015.1.19-2015.1.20, Melbourne, oral report.

• Zhijun Ding*, Ru Yang*, MeiQin Pan, MengChu Zhou, and Changjun Jiang, “Variable Petri Nets for Mobility,” IEEE Transactions on Systems Man & Cybernetics: Systems, 2021, doi: 10.1109/TSMC.2021.3103072.（一区）

• Bo Zhang, Zhihao Wang, Yunjie Lu, Mao-Zhen Li, Ru Yang*, Jianguo Pan*, Zuliang Kou,“Air pollutant diffusion trend prediction based on deep learning for targeted season—North China as an example,” Expert Systems With Applications, Jun. 2023. （一区）

• Bo Zhang, Yuan Liu*, RuiHan Yong, Guojian Zou, Ru Yang*, Jianguo Pan, Maozhen Li, A spatial correlation prediction model of urban PM2.5 concentration based on deconvolution and LSTM, Neurocomputing, Volume 544, 2023, pp. 126280.（二区）

• Bo Zhang, Wenqing Liu, Ya Zhang*, Ru Yang*, and Maozhen Li, “Implicit Negative Link Prediction with a Network Topology Perspective,” IEEE Transactions on Computational Social Systems, Oct. 2022.（二区）
  

• Meizi Li, Xinyi Zhang, Maozhen Li, Yunwen Chen, Yanhong Bai, Bo Zhang*, and Ru Yang*, “Modeling Group Opinion Evolution On Online Social Networks: A Gravitational Field Perspective,” IEEE Transactions on Computational Social Systems, Mar. 2023.（二区）

• Zhihao Wang, Bo Zhang*, Ru Yang*, Chang Guo, Maozhen Li, DAGCN: Distance-based and Aspect-oriented Graph Convolutional Network for Aspect-based Sentiment Analysis, NAACL2024. (CCF-B会)

• Bo Zhang, Weihong Chen, Mao-Zhen Li, Xiaoyang Guo, Zhonghua Zheng, Ru Yang*, MGAtt-LSTM: A multi-scale spatial correlation prediction model of PM2.5 concentration based on multi-graph attention, Environmental Modelling & Software, Volume 179, 2024, 106095.（二区）

• Meizi Li, Xue Li, Ya Zhang, Jianguo Pan*, Ru Yang*, “Implementation of a Social Network Information Dissemination Model Incorporating Negative Relationships,” Computing and Informatics, 2022. 

• Shuo Wang, Zhijun Ding*, Ru Yang, Changjun Jiang, “A Complex Behavioral Interaction Analysis Method for Microservice Systems with Bounded Buffers”, IEEE Transactions on Cloud Computing, Volume: 11, Issue: 4, 2023.

• Zhijun Ding* and Ru Yang, “Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey,” IEEE Access, vol. 6, pp. 68038-68056, 2018.

• Zhijun Ding*, Haojie Qiu, Ru Yang, Changjun Jiang, and MengChu Zhou, “Interactive- control-model for Human-computer Interactive System Based on Petri Nets,” IEEE Transactions on Automation Science and Engineering, 16(4), pp. 1800-1813, 2019.

• Zhijun Ding, MeiQin Pan*, Ru Yang, Changjun Jiang, and MengChu Zhou, “Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, 47(9), pp. 2574-2585, Sept. 2017.

• Puwen Cui, Ru Yang, Zhijun Ding*, “Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach,” Int. J. Serv. Technol. Manag. 26(2/3): 182-201 (2020).

• Haojie Qiu, Ru Yang, Zhijun Ding*, “Designing an Interactive Control for Multi-Robots Scenes based on Petri Nets,” 2018 Chinese Automation Congress (CAC), pp.1046-51, 2018.
  

• Jiao Li, Ru Yang, Zhijun Ding, Meiqin Pan*, “A Method for Learning a Petri Net Model Based on Region Theory,” Comput. Informatics 39(1), 2020.

开设课程：

• 模式识别与机器学习（上海市一流本科课程）

• Python与数据分析（上海市一流本科课程）

• 数据结构

  
  

科研项目：

[1]国家自然科学基金（青年）：基于可变Petri网的RPA流程学习和优化方法研究，在研，项目负责人.

[2]上海市教委“人工智能促进科研范式改革 赋能学科跃升计划赋能专项”：AI赋能的RPA流程智能学习技术研究及其应用探索，在研，项目负责人.

[3]上海高校青年教师培养资助计划项目:人工智能课程思政教育实践——以《模式识别与机器学习》为例，在研，项目负责人.

[4]上海师范大学校级一般科研项目:基于可变Petri网的实时移动交互系统的建模与分析方法研究，在研，项目负责人.

欢迎关注课题组-智能大数据与物联网实验室IBDI公众号！也欢迎有志攻读硕士的同学或参与课题创新实践的本科生联系我！

2020年 上海市优秀毕业生

2021年 同济大学优秀博士生论文

2023年 第八届上海师范大学青年教师教学竞赛 一等奖（自然科学应用学科组）

2023年 上海师范大学本科教学成果奖 二等奖（排名三）

2024年 上海师范大学世承优秀青年教师人才计划

2024年 上海高校青年教师培养资助计划结项展示活动 一等奖（自然科学组）

中国自动化学会网络计算专委会 委员/秘书处成员

上海市计算机学会协同与信息服务专委会 委员