周吴杰现任东南大学数学学院系统科学系讲师，主要承担高等数学相关教学工作，核心研究方向为软件测试与形式化分析、软件可靠性测试与分析。其在软件测试领域已形成多项学术成果，以第一作者身份累计发表多篇高水平学术论文，多篇成果刊载于《计算机学报》《东南大学学报（自然科学版）》《计算机科学》…

该导师为东南大学计算机学院SATAS实验室负责人，2008年3月获东南大学计算机应用技术专业博士学位，2009年10月-2010年11月受国家留学基金委资助赴美国特拉华大学信息与计算机系开展访问研究。长期从事软件分析、测试、分析学与安全领域研究，主持或参与多项国家自然科学基金、国…

东南大学计算机学院教师，SATAS（Software Analysis, Testing, Analytics, and Security）实验室负责人，中国计算机学会(CCF)软件专委会专委，江苏省计算机学会计算机软件专委会副主任。2008年3月获东南大学计算机应用技术专业博士…

马卫东，工学博士，东南大学计算机科学与工程学院副研究员，中国计算机学会会员、电子学会会员，兼任形式化方法专委会委员、嵌入式系统专委会委员、人工智能学会离散智能专委会委员，东南大学未来网络研究中心副主任、工业与可信软件技术实验室主任。1991年获上海交通大学应用数学专业理学学士学位…

马卫东，工学博士，东南大学计算机科学与工程学院副研究员，兼任多个学术组织专委会委员，现任东南大学未来网络研究中心副主任、工业与可信软件技术实验室主任。1991年获上海交通大学应用数学专业理学学士学位，2007年获电子科技大学计算机应用专业工学博士学位，2018-2019年赴英国伦…