陈景淑博士.D.

助理教授 计算机科学与工程系 (248) 370-4087 jingshuchen@anhkarah.com http://jingshuchen.github.io Ph.D.密歇根州立大学

教学

• 软件工程与实践
• 脚本编程
• 高级算法和数据结构
• 大二学生项目
• 基于组件的软件开发与分析

研究

• 软件可靠性
• 正式方法，程序验证和自动修复
• 基于学习的系统分析与管理
• 边缘计算的分布式算法

选定的出版物

1. 解决问题:重新审视公共云中基于预测的工作协同定位.
   贾斯汀•科尔, Jingshu陈, 季雪和黄军, IEEE/ACM第15届公用事业与云计算国际会议(UCC) 2022.
2. 记忆心跳的电磁指纹识别:系统与应用.
   沈诚，黄军，孙光宇，陈景舒，
   美国计算机学会互动性会议录, 移动, 可穿戴技术与应用[j] (3): 138 -138 (2022), 在UbiComp 2022上展示.
3. 确保平均恢复与对抗性调度. Jingshu陈, Mohammad Roohitavaf和Sandeep Kulkarni, 分布式系统原理国际会议(OPODIS) 2015.
4. 用泛型算法改进概率稳定方案. 凌朱, Jingshu陈和Sandeep Kulkarni, 国际稳定问题专题讨论会, 分布式系统安全与保障(SSS) 2015.
5. 添加多公差的复杂性. Jingshu陈, Ali Ebnenasir和Sandeep Kulkarni, 美国计算机学会自主与自适应系统汇刊, 2014
6. 自稳定方案的可伸缩模型检验. 陈景淑和桑迪普. 李建军，李建军。基于并行计算的分布式计算系统。计算机集成制造系统，33 (4):559 - 559,2013.
7. MR4UM:为UML状态图添加容错的框架.陈景淑和桑迪普. Kulkarni，《十大菠菜台子》，2013.
8. 弱多容忍的复杂性分析. 陈景淑和桑迪普. Kulkarni. 分布式计算机系统国际会议论文集(ICDCS) 2010.