Thomas Eiter named ACM Fellow

[Translate to English:] Thomas Eiter, Leiter des Instituts Logic and Computation und der Forschungseinheit Knowledge-Based Systems - For his fundamental contributions to contemporary computing, the ACM Fellows program recognized Thomas Eiter among the top 1 % of ACM members. On January 13, 2021, the Association for Computing Machinery (ACM), has named 95 members ACM Fellows for their wide-ranging and fundamental contributions in contemporary computing, including areas such as artificial intelligence, cloud computing, computer graphics, computational biology, data science, human-computer interaction, software engineering, theoretical computer science, and virtual reality. The 2020 ACM Fellows have driven innovations that ushered in significant improvements across many areas of technology, industry, and personal life. Thomas Eiter , head of our institute Logic and Computation and the research unit Knowledge-Based Systems was named 2020 ACM Fellow for his "contributions to knowledge representation and reasoning, logic programming, and declarative problem-solving." The ACM Fellows program recognizes the top 1% of ACM members for their outstanding computing and information technology accomplishments and their service to ACM and the larger computing community. Fellows are nominated by their peers, with nominations reviewed by a distinguished selection committee. ACM President Gabriele Kotsis explained that this year's task in selecting the 2020 Fellows was quite challenging since they had a record number of nominations worldwide.