报告题目：Research Prospects in Service Computing and IoT
报 告 人：郑希博士（Deakin University）
时间： 2017年4月19日上午9：30
地点：安徽大学磬苑校区理工D楼D318会议室
主办单位：计算机科学与技术学院
欢迎各位老师、同学届时前往！
科学技术处
2017年4月17日
报告人简介：
Dr. James Zheng(郑希)，PhD in Software Engineering from UT Austin,Master in Computer and Information Science from UNSW, Bachelor in Computer Information System from FuDan; Chief Solution Architect for Menulog Australia(2005-2012, the company sold for US 8.55 billion US Dollars), now assistant professor/lecturer in Computer Science in Deakin University.
Specialized in Service Computing, IoT Security and Reliability Analysis. Published more than 10 high quality publications in top journals and conferences（PerCOM, ICSE, ICCPS, IEEE Systems Journal, ACM Transactions on Embedded Computing Systems). Awarded the best paper in Australian distributed computing and doctoral conference in 2017. Awarded Deakin Research outstanding award in 2016.
Reviewer for top journals and conferences（IEEE Systems Journal, ACM Transactions on Design Automation of Electronic Systems, Pervasive and Mobile Computing, IEEE Transaction on Cloud Computing, PerCOM).
His research focus on Software Modelling, Formal Verification, Security analysis, and Systematic testing for Cyber Physical System, Cloud Computing, Robotics and Autonomous Systems, Real-Time Systems, and Hybrid Systems.