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