2015年3月至今任浙江工业大学讲师, 硕士生导师。2008年6月于浙江大学获得软件工程学士学位；2015年3月于浙江大学获得计算机科学与技术博士学位。曾在新加坡国立大学淡马锡实验室和新加坡科技设计大学担任近3年助理研究员。本人主要研究领域为软件工程、形式化方法、信息系统安全和可靠性，取得的相关成果发表在IEEE TSE、TACAS、中国科学、软件学报等国内外顶级期刊和高水平会议上。主持国家自然科学基金和浙江省自然科学基金，并参与多项国家和省部级项目。

科研情况：

1.国家自然科学基金青年基金项目，61602412，信息物理融合系统模型精化方法研究，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, Yang Liu and Ye Wang. 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. (国内核心)