教师姓名：
陈潇

职务职称：
副教授

所属系部：
物联网工程系、计算机科学国际化部

研究方向：
形式化建模与性能评估

联系电话：


电子邮箱：
xiaochen@ujs.edu.cn

个人简介

2006年毕业于南昌大学计算机科学与技术专业；
2008年于英国纽卡斯尔大学大学获得计算科学硕士学位；
2013年于英国纽卡斯尔大学大学获得博士学位。

教研成果

研究项目
面向车联网应用数据传输效率与隐私保护的混合通信机制建模与评估建模与评估，江苏省自然科学基金青年基金（BK**），2016年7月至2019年6月。
发表论文
1 X. Chen, L. Wang, J. Ding and N. Thomas，Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment， IEEE Access，2016.
2 X. Chen, J. Ding and N. Thomas, Dynamic Scheduling Policy for Patient Flow in a Smart Environment, Chinese Journal of Electronics, 2016.
3 X. Chen and L. Wang, Exploring Trusted Data Dissemination in a Vehicular Social Network with a Formal Compositional Approach, 2016 IEEE 40th Annual Computer Software and Applications Conference (2016 COMPSAC), Atlanta, US, 2016.
4 X. Chen, N. Thomas and J. Ding, Performance Modelling of Patient Flow Scheduling Through a Formal Method, Journal of Shanghai Jiaotong University, 2016.
5 N. Thomas, M. Harrison, Y. Zhao, X. Chen, From Protocols to People: Large Scale Analysis in Markovian Process Algebra, Computer Performance Engineering: EPEW/UKPEW 2012, Edinburgh, UK: Springer, 2012.
6 X. Chen, N. Thomas, M. Harrison. Performance Evaluation of Scheduling Policies in a Smart Hospital Environment, International Conference on Cyber Enabled Distributed Computing and Knowledge Discovery (CyberC), Beijing, China: IEEE, 2011.