后面

ACETO卢卡

Luca Aceto自2017年9月起担任GSSI的计算机科学教授。在加入GSSI之前,他是雷克雅未克大学的全职教授(2004年至今)、奥尔堡大学的副教授(1996-2006年)和苏塞克斯大学的讲师(1992-1996年)。他是欧洲研究院信息科以及冰岛科学院成员。他还担任LIPIcs,莱布尼茨国际信息学会议录,是该杂志执行委员会的成员计算机科学中的逻辑方法咨询委员会理论计算机科学中的电子论文集和编辑委员会控制论学报,信息学学报,的程序设计中的逻辑和代数方法杂志和,共理论计算机科学中的电子论文集他是欧洲理论计算机科学协会2012年7月至2016年7月。他是IFIP WG 1.8关于并发理论,并共同创立和指导冰岛理论计算机科学卓越中心e自2005年起

Luca Aceto的主要研究兴趣是并发理论,重点研究代数过程描述语言及其支持的技术,以指定和推理反应系统、计算机科学中的逻辑、结构操作语义以及等式逻辑在过程代数中的应用,形式语言、自动机、热带半环、min-max代数和不动点理论。迄今为止,他已经出版了两本书、七个章节、50多篇期刊论文和70篇参考会议/研讨会论文。此外,他还编辑了30多卷书。

Luca Aceto于1991年获得英国计算机学会杰出论文奖,2012年获得雷克雅未克大学研究奖。1997年和1999年,他曾是奥尔堡大学数学和计算机科学年度教师。他的完整简历,包括科学出版物的完整列表,可在http://icetcs.ru.is/luca/resume.pdf。他的大多数出版物可以在http://dblp.uni-trier.de/pers/hd/a/Aceto:Luca。.他的Orcid ID是https://orcid.org/0000-0002-2197-3018