+
张晓东，当前为西安电子科技大学计算机科学与技术学院华山准聘副教授，硕士生导师，工学博士。河南民权人。2011年6月于西南大学获网络工程专业学士学位。2018年12月于西安交通大学获计算机科学与技术专业博士学位（导师：郑庆华院士和刘烃教授）。在2018年至2021年，进入华为云任职，从事大规模软件分析与测试相关工程研究；2021年进入西安电子科技大学工作，现为计算机科学与技术学院网络工程系教师，在此期间于2022年赴新加坡管理大学做博后访学。近年来，在ISSTA、ICSE、TSE、软件学报等国内外软件安全顶级期刊与会议上，发表论文10余篇。目前主持国家自然科学基金青年项目一项，先后参与国家自然科学基金重点项目、面上项目等国家和省部级项目多项，相关成果申请或授权国家发明专利多项。
目前隶属沈玉龙教授团队，团队常年招收计算机科学、电子信息等方向博士生、硕士生。同时，学有余力且喜欢探索科研的本科实习生，也欢迎加入。
研究方向
自动驾驶安全，形式化方法，软件系统安全，软件测试
[1]软件系统安全
[2]自动驾驶安全
[3]形式化方法
暂无内容
暂无内容
