张政馗，智慧系统实验室，特聘助理教授（讲师）。2006年获得武汉理工大学软件工程专业本科，2011年获得芬兰赫尔辛基工业大学软件工程专业硕士，2017年获得丹麦奥尔堡大学计算机科学与技术博士。博士期间的研究方向是实时系统的形式化验证技术，并承担了著名验证工具UPPAAL的大量研发工作。2019年加入东北大学智慧系统实验室，承担可更新嵌入式系统理论研究和EDA工具的研制工作。
招生方向：
对基础软件（操作系统、编译器、验证工具等）有浓厚兴趣；学习态度认真，爱钻研；算法基础好，编程能力强；英语基础好。
邮箱：zhangzhengkui@cse.neu.edu.cn