欢迎欧洲科学院院士、奥地利科学院院士、ACM会士、EurAI会士、国际逻辑编程学会(ALP)主席、国际人工智能促进会(AAAI)执委、奥地利人工智能学会执委、奥地利维也纳科技大学计算机科学教授、维也纳科技大学知识系统实验室主任、维也纳科技大学逻辑与计算研究所所长Thomas Eiter院士加入欧洲经济研究院!
01
职业生涯
Thomas Eiter是奥地利科学院院士,欧洲科学院院士,奥地利维也纳工业大学教授,ECCAI Fellow,IJCAI理事会成员(2016-2021),IJCAI 2019 大会主席, JAIR副主编,曾分别获得2001年 IJCAI 杰出论文奖和2002年 AAAI 杰出论文奖。
02
科学 - 活动和出版物
Thomas Eiter院士的科学兴趣主要在于理论计算机科学、非单调逻辑、稳定模型语义、逻辑编程和编程语言。他的研究涉及离散数学和表示以及理论计算机科学等领域。他在非单调逻辑研究中包括语义学、默认逻辑、限制和知识表示和推理等主题。他的稳定模型语义学研究整合了其他学科的关注点,如自认识逻辑、有根据的语义学和答案集编程。他的研究涉及诸如否定作为失败,否定和计算逻辑以及逻辑编程等领域。他在编程语言方面的研究主要集中在数据记录和声明式编程。
03
奖项和荣誉
2016 - 欧洲科学院院士
2020 - ACM Fellow,对知识表示和推理、逻辑编程和陈述式问题解决的贡献
2022 - Research.com 奥地利计算机科学领袖奖
2023 - Research.com 奥地利计算机科学领袖奖
欧洲经济研究院,European Economic Research Institute,简称(EERI),由欧洲多国科学家携手创立,在英国、德国、俄罗斯、中国香港、美国等33个国家设有分支机构和办事处。总部位于美国华盛顿,于1988年由欧洲多国科学部长倡导创立,是欧洲经济研究院等多个代表欧洲国家最高学术水平的国家科学院共同发起成立的一个包括东、西欧国家的国际科学组织。
www.eeri-edu.org
UKofficeaddress:1stFloor330HighHolbornLONDONWC1V7QH
AddressofGermanoffice:L7,168161MannheimGermany
HeadquartersAddressintheUnitedStates:NationalAcademyofSciences500FifthStreet,NWWashington,DC20001
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.