教授Thomas Eiter加入欧洲经济研究院

欢迎欧洲科学院院士、奥地利科学院院士、ACM会士、EurAI会士、国际逻辑编程学会(ALP)主席、国际人工智能促进会(AAAI)执委、奥地利人工智能学会执委、奥地利维也纳科技大学计算机科学教授、维也纳科技大学知识系统实验室主任、维也纳科技大学逻辑与计算研究所所长ThomasEiter院士加入欧洲经济研究院！

01

职业生涯

ThomasEiter是奥地利科学院院士，欧洲科学院院士，奥地利维也纳工业大学教授，ECCAIFellow，IJCAI理事会成员（2016-2021），IJCAI2019大会主席，JAIR副主编，曾分别获得2001年IJCAI杰出论文奖和2002年AAAI杰出论文奖。

02

科学-活动和出版物

ThomasEiter院士的科学兴趣主要在于理论计算机科学、非单调逻辑、稳定模型语义、逻辑编程和编程语言。他的研究涉及离散数学和表示以及理论计算机科学等领域。他在非单调逻辑研究中包括语义学、默认逻辑、限制和知识表示和推理等主题。他的稳定模型语义学研究整合了其他学科的关注点，如自认识逻辑、有根据的语义学和答案集编程。他的研究涉及诸如否定作为失败，否定和计算逻辑以及逻辑编程等领域。他在编程语言方面的研究主要集中在数据记录和声明式编程。

03

奖项和荣誉

2016-欧洲科学院院士

2020-ACMFellow，对知识表示和推理、逻辑编程和陈述式问题解决的贡献

2022-Research.com奥地利计算机科学领袖奖

2023-Research.com奥地利计算机科学领袖奖

欧洲经济研究院，EuropeanEconomicResearchInstitute，简称（EERI），由欧洲多国科学家携手创立，在英国、德国、俄罗斯、中国香港、美国等33个国家设有分支机构和办事处。总部位于美国华盛顿，于1988年由欧洲多国科学部长倡导创立，是欧洲经济研究院等多个代表欧洲国家最高学术水平的国家科学院共同发起成立的一个包括东、西欧国家的国际科学组织。

www.eeri-edu.org

UKofficeaddress：1stFloor330HighHolbornLONDONWC1V7QH

AddressofGermanoffice:L7,168161MannheimGermany

HeadquartersAddressintheUnitedStates：NationalAcademyofSciences500FifthStreet,NWWashington,DC20001