王婷
 讲师 硕士生导师　　　　
 性别：女
 学位：博士
 毕业院校：
 研究机构：计算机软件研究所
 邮箱：wangting@zjut.edu.cn;
 办公地点：
 研究方向：软件形式化方法、软件安全验证、软件工程

个人简介
简历：
2015年3月至今任浙江工业大学讲师,硕士生导师。2008年6月于浙江大学获得软件工程学士学位；2015年3月于浙江大学获得计算机科学与技术博士学位。曾在新加坡国立大学淡马锡实验室和新加坡科技设计大学担任近3年助理研究员。本人主要研究领域为软件工程、形式化方法、信息系统安全和可靠性，取得的相关成果发表在IEEE TSE、TACAS、中国科学、软件学报等国内外顶级期刊和高水平会议上。主持国家自然科学基金和浙江省自然科学基金，并参与多项国家和省部级项目。
科研情况：
1.国家自然科学基金青年基金项目，**，信息物理融合系统模型精化方法研究，2017.01-2019.12，主持
2.浙江省自然科学基金，工业控制系统安全防御技术的统一形式化验证和评估方法研究，2020.01-2012.12，主持
发表论文：
[1] Ting Wang, Jun Sun, Xinyu Wang, et al. A Systematic Study on Explicit-state Non-Zenoness Checking for Timed Automata. IEEE Transactions on Software Engineering, 2015, 41(1): 3-18. (CCF A, SCI, JCR一区)
[2]Xinyu Wang,Jun Sun,Ting Wang,Shengchao Qin. Language Inclusion Checking of Timed Automata with Non-Zenoness. IEEE Transactions on Software Engineering, 2017, 43 (11): 995-1008. (CCF A, SCI, JCR一区)
[3]Ting Wang,Tieming Chen,YangLiuand YeWang.Anti-chain based Algorithms for Timed/Probabilistic Refinement Checking. Science China Information Science, 2018, 61(5): 52-105. (CCF B, SCI，国内核心)
[4] Ting Wang, Jun Sun, Yang Liu, et al. Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. 20th International Conference on ETAPS-TACAS, 2014, pp. 310-325. (CCF B)
[5]王婷,陈铁明,刘杨.基于模拟关系的精化检测算法,软件学报, 2016, 27(3): 580-592. (国内核心)