我是计算机科学副教授、数学博士、丙烯酸羟乙酯高级研究员IMA公司，以及ACM公司.

自2015年4月以来，我一直在考文垂大学.我主要在大学工作计算科学和数学建模研究中心（CSMM），我担任联合董事。我还教学生计算、数学和数据科学学院（CMD）。

我的研究主要在以下领域计算机代数/符号计算尤其是，柱面代数分解和量词消除。我对基本算法感兴趣，特别是在生物化学反应网络和经济推理方面的应用。我还对应用数据科学和机器学习来改进数学软件感兴趣。
过去，我也在可积系统尤其是，阿贝尔函数.

我是资助研究项目的PI，包括EPSRC DEWCAD项目，的欧盟H2020项目联合国安全理事会²、和EPSRC关于将机器学习嵌入量词消除过程的项目. 2012-2015年，我担任EPSRC公司资助项目基于三角描述的实几何与连通性在巴斯大学.

我的ORCID ID是：0000-0001-5729-3420.你也可以看到我的考文垂大学纯门户入口.

我主要教授编程和理论计算机科学的模块。2017-2019年，我担任计算机科学理学硕士我获得的学位。2020-2022年，我担任博士生研究学位负责人我们的研究中心.

电子邮件：Matthew dot英国考文垂dot ac dot英国

博士/博士后职位

当前MRes学生

伊克拉·吉拉尼: 通过可持续能源遏制贫困：智能社区转型

现任博士生

拉希德·巴克特: 改进领先计算机代数系统中符号集成和简化的机器学习技术
阿比奥拉·巴巴通德：在集合覆盖问题的启发式算法中利用域结构
特雷索·德尔里奥·阿尔马哈诺：使用机器学习改进量词消除过程
丹尼尔·弗洛德：测量、理解和提高编程教学的参与度
阿赫桑·穆罕默德·马法兹：自动化疫情应对工具的嵌入式系统设计
科林·斯蒂芬：离散合并树、水平可见性图和拓扑发散

现任博士后研究员

Amirhossein Sadeghi Manesh博士：DEWCAD项目。

机会

当我资助博士学位的时候，我会在大学网站和类似网站上公开宣传findaphd网站。当我资助博士后机会时，我会登广告jobs.ac.uk公司如果没有广告，那么目前没有空缺职位。

我们也为那些能够获得自己资金的学生提供了许多机会，例如从政府或行业赞助商那里获得资金。如果你有自己的资金并且想讨论机会，请联系。目前的自筹项目包括：机器学习改进Groebner基构造.

新闻

2024

2024年，我是ISSAC 2024项目委员会、和SC-Square 2024项目委员会。我还将在ICMS 2024会议，于计算机代数系统中的机器学习我们邀请大家为之贡献力量！

2024年3月，我被任命为Springer杂志的编辑委员会成员，计算机科学中的数学.

2023

很高兴地报告，博士生科林·斯蒂芬于2023年12月通过了他的生前考试，论文题目是：，离散合并树、水平可见性图和拓扑发散

截至2023年1月，我被任命为考文垂大学计算科学和数学建模研究中心联合主任。

2023年，我将担任CASC 2023年。我也在的PC上SC-方形车间.

从2023年开始，我是阿斯顿大学数据分析硕士课程的外部审查员。

2022

截至2022年2月，我被任命为考文垂大学计算科学和数学建模研究中心副主任。

2022年，我将担任CASC 2022年。我也在的PC上SC广场车间; 我是Dagstuhl研讨会22072：符号计算和可满足性检查的新观点.

2021

我被任命为ISSAC指导委员会代表SIGSAM，任期两年，自2021年7月1日起。

我一直在当选为财务主管ACM SIGSAM的有效期为2021年7月1日至2023年6月30日。

2021年，我将担任CASC 2021年以及受邀在暹罗AG21。我也在2021年枫叶会议.

我被任命为新杂志的副主编，Maple事务处理它出版了关于数学、应用和教育领域计算机辅助研究的参考论述。该期刊是开放存取的，但不收取页面费用（由Maplesoft和Western Librarys赞助）。

2021年1月至5月，我将教授新的CU模块6008CEM-高级编程范例，涵盖Haskell中的函数编程和使用Z3的SAT/SMT求解器。

2021年1月EPSRC DEWCAD项目正式开始。

2020

截至2020年4月，我是年博士生研究学位负责人数据科学考文垂大学。

截至2020年1月，我是新考文垂大学的创始成员数据科学研究中心（CDS）。

2020年，我将担任PC主席中国社会科学院2020以及一位受邀的辅导演讲者ISSAC 2020。我还在ICMS 2020并在PC上服务SYNASC 2020年和2020年枫叶会议.

2019

截至2019年8月，我已晋升为考文垂大学计算机科学副教授。

2019年，我将担任CASC 2019年; 工具和软件跟踪联合主席2019年MACIS。我还在电脑上为联合国安全理事会²2019、和2019年SYNASC(符号计算轨迹).

2018

我领导EPSRC项目EP/R019622/1，在量词消除过程中嵌入机器学习，从2018年7月开始。项目资金：

• -博士后工作机会-应用程序已关闭.
• -全额资助的博士生奖学金-应用程序已关闭.

我是2018年SAT/SMT/AR暑期学校位于英国曼彻斯特。

2018年，我在PC上ISSAC 2018,中国社会科学院2018,2018年CICM（结石轨迹），联合国安全理事会²2018,AISC 2018年、和2018年SYNASC.

2017

截至2017年8月，我已晋升为考文垂大学计算机科学高级讲师。

2017年夏天，我加入了考文垂大学流量测量和流体力学学院研究中心。

2017年，我担任Calulemus Track Chair for2017年CICM; 总联合主席联合国安全理事会²2017; 和第1轨道联合主席2017年MACIS.
我还担任过：符号计算轨道的PC2017年SYNASC; 用于的PC2017年中国社会科学院; 和宣传主席ECCAD 2017年.

2016

我参与了SC-方形社区我是考文垂大学的P.I欧盟H2020 FET CSA项目.

2015

从2015年4月开始，我在考文垂大学担任计算机科学讲师。

2015年1月，我被任命为SIGSAM公司.

---

网站模板来自Sylvain Lafitte网页设计/开发.