[1/3] 英国有个计算机科学家叫 James H. Davenport。这个人曾经来过我们办公室（是我一个师兄的博士论文评审团主席），我当时还不认识他，但后来顺着名字查了一下就被惊到了。根据维基百科记载，此人 16 岁时就表现出极高的计算机天赋，曾经把 IBM 用于教学推广的 6 位低端计算机硬给改成了当时较为高端的 8 位机。他在算法领域虽然可能没有 Knuth 那么有名，但他在 CAS（计算机辅助代数软件）领域开发了 REDUCE（好像已经不常用了），也经历过 Symbolic Lisp 机时代，他的书也是用 LISP 给出示例代码的。但我真正想说的是，从他的书中可以看出，符号代数计算领域的两块重中之重分别是 “多项式化简” 和 “符号积分（原函数）”。众所周知，求导是一个相对简单的机械过程，求原函数那就得看经验和运气，但实际上是有高级算法的。我准备开始研究符号积分算法，目标是给 HOL 添加相关功能。这是个大项目，HOL 维护者也表示支持（废话，白给他干他当然愿意了）

【#湖南大学蒋洪波教授当选欧洲科学院院士# 】近日，欧洲科学院（Academia Europaea）院长Marja Makarow向湖南大学蒋洪波教授发来贺信，祝贺他当选2022年度欧洲科学院院士。
欧洲科学院（又称“欧洲人文和自然科学院”），外文全称为Academia Europaea（The Academy of Europe），是欧盟的“国家科学院”和法定科学顾问，由英国皇家学会与欧洲各国的国家科学院共同发起并于1988年成立，总部位于英国伦敦。作为国际上跨地域和学术领域最广泛、学术地位最高、影响最大的科学组织之一，欧洲科学院的院士包括自然科学、生命科学、社会科学、人文科学等领域的顶级学者，主要在欧洲各国的院士中遴选，代表着欧洲人文和自然科学界最高的科学水平和学术地位。目前有院士4800多名，其中包括90位诺贝尔奖获得者。
蒋洪波教授毕业于美国凯斯西储大学（Case Western Reserve University），获计算机科学博士学位，现任湖南大学“岳麓学者”特聘教授，信息科学与工程学院副院长，可信系统与网络湖南省重点实验室主任，湖南省高效能计算与应用国际科技合作基地主任。
他的研究领域主要集中在移动互联网和物联网，入选了英国工程技术学会会士（IET Fellow），英国计算机学会会士（BCS Fellow），亚太人工智能学会会士（AAIA Fellow）。并受邀担任IEEE/ACM Transactions on Networking，IEEE Transactions on Mobile Computing，ACM Transactions on Sensor Networks，IEEE Transactions on Network Science and Engineering，IEEE Transactions on Intelligent Transportation Systems等国际知名期刊编委（Editor）。（潇湘晨报）

UEA最新资讯：
仍在开的学位预备英语课程PSE信息
目前仍旧在开的学位预备英语课程PSE有6周线上（06/07/2022）及线下（11/07/2022），以及4周线下（25/07/2022），申请截止日期为括号内显示日期

2. 线上大师讲堂活动预告：“数字革命下的精算科学”
时间：6月28日北京时间晚上19:00
本次的主题是“数字革命下的精算科学”，我们有幸邀请到了UEA精算科学讲师、英国精算师学会会员Shaun Parsely，为您深度介绍UEA王牌本科专业“精算科学”及其对应的英国精算师资格证的国际认证体系；同时，UEA计算机学院的院领导也将莅临直播间，为您解析2022本科补录UEA计算机科学专业的申请相关建议。机会难得，欢迎同学们后台咨询金老师获取参会方式！
#英国留学[超话]##英国留学##东英吉利大学[超话]##东英吉利大学#