type
1
description
summary
个人简介2020年7月加入控制科学与工程学院孙优贤院士课题组，任****研究员，博士生导师。此前在2013年本科毕业于西安交通大学信息工程专业，2018年博士毕业于新加坡科技设计大学信息系统科技与设计系iTrust网络空间安全中心，并先后在新加坡科技设计大学和新加坡国立大学从事博士后研究。
研究主要研究兴趣在于软件工程和系统安全的结合，即如何使用软件工程中的测试、形式化验证、程序分析等技术来为智能系统和工控系统的软件安全提供保障，领导研发了多个人工智能系统测试工具如RobOT、nMutant、DRTest等。研究成果已在软件工程、形式化方法、安全领域国际顶级会议和期刊如ICSE、TSE、ASE、TACAS、FM上发表论文十余篇，两次作为通讯作者获得软件工程旗舰会议ICSE的ACM SIGSOFT杰出论文奖（ICSE 2018和ICSE 2020)，分别为大陆高校第3篇和第7篇。其中ICSE 2020公平性测试文章同时被ACM SIGSOFT评选为当年ACM SIGSOFT Research Highlights，为SIGSOFT从当年旗下所有会议中全球评选出的4篇论文之一，为北美外高校唯一1篇。
招生信息 每年招收1-2名博士生、若干硕士生，计算机或信息类方向均可。也非常欢迎对智能系统安全和工控安全科研感兴趣的ZJU本科生通过毕设、SRTP等形式加入实验室。
template_id
9
photo
research_field
status
1
opendate
2020-07-16 00:12:24
access_type
1
access_count
2386
score
connect
selfintroduction
url
telephone
+86**
wangjyee@zju.edu.cn
address
research
mypage_id
work_title
learn_degree
work_post
research_orientation
handle
main_status
1
access_uid_status
1
theme_id
qrcode_status
1
gmt_qrcode
2021-01-24 23:33:59
content
个人简介2020年7月加入控制科学与工程学院孙优贤院士课题组，任****研究员，博士生导师。此前在2013年本科毕业于西安交通大学信息工程专业，2018年博士毕业于新加坡科技设计大学信息系统科技与设计系iTrust网络空间安全中心，并先后在新加坡科技设计大学和新加坡国立大学从事博士后研究。
研究主要研究兴趣在于软件工程和系统安全的结合，即如何使用软件工程中的测试、形式化验证、程序分析等技术来为智能系统和工控系统的软件安全提供保障，领导研发了多个人工智能系统测试工具如RobOT、nMutant、DRTest等。研究成果已在软件工程、形式化方法、安全领域国际顶级会议和期刊如ICSE、TSE、ASE、TACAS、FM上发表论文十余篇，两次作为通讯作者获得软件工程旗舰会议ICSE的ACM SIGSOFT杰出论文奖（ICSE 2018和ICSE 2020)，分别为大陆高校第3篇和第7篇。其中ICSE 2020公平性测试文章同时被ACM SIGSOFT评选为当年ACM SIGSOFT Research Highlights，为SIGSOFT从当年旗下所有会议中全球评选出的4篇论文之一，为北美外高校唯一1篇。
招生信息 每年招收1-2名博士生、若干硕士生，计算机或信息类方向均可。也非常欢迎对智能系统安全和工控安全科研感兴趣的ZJU本科生通过毕设、SRTP等形式加入实验室。
column_name
个人简介
