■教育、进修经历 1.1989.09-1993.06 在南京邮电学院、电子仪器及其测量技术专业，获学士学位 2.2000.09-2003.06 在华南理工大学大学、计算机应用专业，获硕士学位 3.2007.09-2014.06 在中山大学大学、逻辑学专业，获博士士学位
■代表性科研项目 1.参与国家自然科学基金项目《二阶逻辑的表达能力与计算复杂性》； 2.主持校级基金项目《植物叶片特征的计算机分析与识别》； 3.主持校级基金项目《《编译原理》课程网络演示系统》
■代表性论文、著作等 1. 孙永新，赵希顺. Dynamic Linear Time Temporal Description Logics[C]//Proceedings of the 2010 2nd WRI Global Congress on Intelligent Systems (GCIS). Wuhan: IEEE, 2010, 3: 383-391. 2. 孙永新，赵希顺. 基于动态时序描述逻辑的动作理论[J]. 计算机科学, 2014, 41(9): 210-214. 3. 孙永新，赵希顺. 带测试动作的动态时序逻辑扩展[J]. 计算机应用研究, 2012, 29(9): 3269-3273. 4. 孙永新. 基于多尺度形状分析的叶形识别系统[J]. 计算机应用, 2009, 29(6): 1704-1707. 5. 孙永新，吴家培，闫大顺. 基于基本块标识方法的控制流图生成器设计[J]. 计算机应用与软件, 2010, 27(5): 163-166. | 
