空间图的亚历山大多项式

吴忠涛教授于普林斯顿大学获得博士学位，主要从事低维拓扑的研究。他应用Heegaard Floer同调群解决了一系列有关纽结亏格和手术方面的经典问题，并在相关的接触几何、辛几何、空间图理论等方向都有贡献。相应成果发表于Adv. Math., Crelle’s J, Geom. Topol. 等杂志。

仿射流形约束的低秩矩阵优化最优性分析与法锥交集规则

罗自炎，女，北京交通大学数学与统计学院教授、博士生导师，中国运筹学会数学规划分会副秘书长，中国运筹学会女性工作委员会委员。曾为美国斯坦福大学、新加坡国立大学、英国南安普顿大学访问学者，香港理工大学研究助理等。发表SCI论文40余篇(ESI高被引论文2篇)，涉及《Math Program》《SIAM J Optim》《J Mach Learn Res》《IEEE Trans Signal Process》《SIAM J Matrix Anal Appl》等国际权威期刊。合作撰写美国SIAM出版社英文专著1部、中文著作1部；主持国家自然科学基金“面上”、“青年”项目、北京市自然科学基金“重点”项目，参与国家自然科学基金“重点”项目，国家重点研发计划等。获教育部自然科学奖二等奖、中国运筹学会青年科技奖提名奖、北京市青年教师教学基本功比赛二等奖、北京市本科毕设论文优秀指导教师等。主要研究兴趣：大规模稀疏低秩优化、张量优化、机器学习，及其在压缩感知、视频分析、智慧交通中的应用。

Choosing better variable orderings for CAD

夏壁灿，北京大学数学科学学院教授，中国工业与应用数学学会常务理事，中国数学会计算机数学专委会副主任。曾担任北京大学数学科学学院副院长，北京大学数学科学学院信息科学系主任。 研究兴趣包括：符号计算，程序与混成系统验证，自动定理证明。

Understanding Human-Building-Emergency Interaction

Runhe Zhu is an assistant professor in the Moss School of Construction, Infrastructure, and Sustainability at Florida International University (FIU). He earned his Ph.D. in Civil Engineering from the University of Southern California (USC). He also obtained his MS degree in Computer Science and Electrical Engineering from USC. Prior to that, he received his bachelor’s degree in construction management from Tianjin University. His research focuses on human-building interactions, occupant safety, sustainable and resilient built environment, and smart and connected communities.

工业软件产业研究方法与实践

卞孟春，工业和信息化部电子第五研究所软件与系统研究院科技创新部总工程师，主要从事软件产业政策研究，软件领域研科研工作，任职中国工业技术软件化产业联盟办公室主任，中国力学学会产学研分会委员，中国赛宝智库工业软件/工业互联网首席研究员。 曾作为课题负责人完成工信部、科技部等国家部委十余个科研和产业研究课题，参与编制工信部《工业互联网APP培育工程实施方案（2018-2020年）》、《软件产业发展十四五规划》、《关键基础软件发展行动计划》等政策，编著《求索：中国工业软件产业发展之策》，主笔完成《工业互联网APP白皮书（2018）》、《中国工业软件产业发展白皮书（2020）》、《工业技术软件化白皮书（2020）》等权威成果物，获得工信部2020年度工业和信息化优秀研究成果一等奖 ，省级科学进步三等奖1项。

结构化构思与写作——英文学术论文的要点与误区

杨雅辉博士，欧盟玛丽居里项目学者，任职于加州能源部门，负责重大科研基金和项目的规划、评审与管理。长期为多个国际主流期刊和会议审稿，是多项科研基金的特邀评审人，包括欧盟国家科研基金和美国能源部研究项目基金。 杨雅辉博士在英文学术论文构思、写作和编辑领域有十余年的经验，累计修改编辑学术论文已多达几千篇，深谙非母语国家作者在学术写作和发表方面的弱点、疑点和难点。同时管理一个母语编辑团队，为英文学术论文写作和发表提供深度而专业的解决方案。