张晓东
Lecturer graduate teacher
Gender:Male
Date of Birth:1990-02-23
Alma Mater:西安交通大学
Education Level:With Certificate of Graduation for Doctorate Study
Degree:Doctoral Degree in Engineering
Status:On duty
School/Department:计算机科学与技术学院
Date of Employment:2021-07-01
Business Address:南校区网安大楼a909
E-Mail:
2011.9 -- 2018.12
西安交通大学 Computer Systems Organization With Certificate of Graduation for Doctorate Study 博士研究生
软件系统安全
自动驾驶安全
形式化方法
PostalAddress :
email :
2022.4 -- 2023.10
新加坡管理大学 信息学院 在孙军教授团队做博后访学
2021.7 -- Now
西安电子科技大学计算机学院
2018.12 -- 2021.7
华为技术有限公司
张晓东，当前为西安电子科技大学计算机科学与技术学院华山准聘副教授，硕士生导师，工学博士。河南民权人。2011年6月于西南大学获网络工程专业学士学位。2018年12月于西安交通大学获计算机科学与技术专业博士学位（导师：郑庆华院士和刘烃教授）。在2018年至2021年，进入华为云任职，从事大规模软件分析与测试相关工程研究；2021年进入西安电子科技大学工作，现为计算机科学与技术学院网络工程系教师，在此期间于2022年赴新加坡管理大学做博后访学。近年来，在ISSTA、ICSE、TSE、软件学报等国内外软件安全顶级期刊与会议上，发表论文10余篇。目前主持国家自然科学基金青年项目一项，先后参与国家自然科学基金重点项目、面上项目等国家和省部级项目多项，相关成果申请或授权国家发明专利多项。
目前隶属沈玉龙教授团队，团队常年招收计算机科学、电子信息等方向博士生、硕士生。同时，学有余力且喜欢探索科研的本科实习生，也欢迎加入。
研究方向
自动驾驶安全，形式化方法，软件系统安全，软件测试
