张强，男，毕业于东北大学，博士，硕士生导师。曾在沈阳东软科技有限公司等多家软件公司担当技术经理、软件工程师等重要岗位，有丰富的实际工程项目经验和研发能力。目前研究团队主要从事安全操作系统及形式化方法、Fuzzing技术、符号执行技术的研究，以及人工智能在电力系统上的应用等研究。参与《可信执行环境架构》国家标准制定，主持辽宁省博士启动基金项目、辽宁省教育厅基本科研项目各一项，辽宁省科技进步二等奖一项，葫芦岛市科技项目多项，获得多项横向课题和技术专利。与清华大学合作在操作系统形式化验证方面的研究取得了重大成果。相关技术应用于BYD等多个车企的车载操作系统中。目前在《IEEE Transaction on Instrumentation and Measurement》、《IET Information Security》、《Computers & Security》、《IEEE Access》等公开发表SCI、EI等学术论文20余篇。Email：zqzq53373931@163.com欢迎广大同学报考！