# Thomas Eiter

> Austrian computer scientist

**Wikidata**: [Q62559769](https://www.wikidata.org/wiki/Q62559769)  
**Source**: https://4ort.xyz/entity/thomas-eiter

## Summary
Thomas Eiter is an Austrian computer scientist renowned for his significant contributions to the field of knowledge representation and reasoning. A professor at TU Wien, he has been recognized as an ACM Fellow for his work in logic programming and declarative problem solving. His academic leadership includes membership in prestigious organizations like Academia Europaea.

## Biography
- **Born:** 1966
- **Nationality:** Austria
- **Education:** TU Wien
- **Known for:** Contributions to knowledge representation and reasoning, logic programming, and declarative problem solving.
- **Employer(s):** TU Wien
- **Field(s):** Computer Science, University Teaching
- **Member Of:** Academia Europaea (Informatics section, since 2016), Association for Computing Machinery (ACM Fellow, since 2021).

## Contributions
Thomas Eiter has built a distinguished career centered on advancing computer science, particularly in the domains of knowledge representation and reasoning, and logic programming. His work has been formally recognized with the prestigious ACM Fellow award in 2020 for his specific contributions to these areas and declarative problem solving.

As a prominent academic at TU Wien, his impact extends deeply through his mentorship and collaboration. Eiter has supervised and influenced a generation of researchers. Notable doctoral students he has supervised include Christoph Koch and Axel Polleres. He has also mentored other students such as Guohui Xiao, Wolfgang Faber, Michael Fink, Stefan Woltran, Peter Schüller, and Daria Stepanova. His academic lineage traces back to Georg Gottlob, under whom he studied. This network of students and collaborators highlights his role in shaping contemporary thought and innovation within his specialized fields.

## FAQs
### Q: What is Thomas Eiter best known for?
A: Thomas Eiter is best known for his contributions to knowledge representation and reasoning, logic programming, and declarative problem solving. He was named an ACM Fellow in 2020 for these specific achievements.

### Q: Where does Thomas Eiter work?
A: Thomas Eiter is associated with TU Wien (Vienna University of Technology) as an employer and received his education there. His professional profile is maintained on the institution's website.

### Q: What notable academic recognition has Thomas Eiter received?
A: In 2016, he became a member of the Academia Europaea (Informatics section). More recently, he was named a Fellow of the Association for Computing Machinery (ACM) in 2020.

### Q: Who are some notable students of Thomas Eiter?
A: Thomas Eiter has supervised several doctoral students, including Christoph Koch and Axel Polleres. Other students include Guohui Xiao, Wolfgang Faber, Michael Fink, Stefan Woltran, Peter Schüller, and Daria Stepanova.

## Why They Matter
Thomas Eiter's significance lies in his sustained impact on the theoretical foundations of computer science, particularly in how machines represent and reason with knowledge. By advancing the fields of logic programming and declarative problem solving, Eiter has helped develop frameworks that are essential for modern artificial intelligence and data management systems. His recognition as an ACM Fellow places him among the top tier of computer scientists globally, validating the importance of his specific technical contributions.

Furthermore, Eiter plays a crucial role as an academic bridge and mentor. Situated at TU Wien and connected through his own advisor, Georg Gottlob, he has cultivated a robust academic tree. By mentoring successful researchers like Christoph Koch and Axel Polleres, he ensures the propagation of rigorous methodologies and innovative thinking in database systems and knowledge technologies. His membership in Academia Europaea further underscores his influence on European scientific policy and discourse in informatics.

## Notable For
-   **ACM Fellow (2020):** Awarded for contributions to knowledge representation and reasoning, logic programming, and declarative problem solving.
-   **Academic Leadership:** Professor and employer at TU Wien.
-   **Academia Europaea Member:** Elected to the Informatics section in 2016.
-   **Academic Mentorship:** Supervisor to prominent computer scientists including Christoph Koch and Axel Polleres.

## Body

### Career and Affiliations
Thomas Eiter serves as a computer scientist and university teacher, primarily associated with **TU Wien** in Austria. His professional standing is reinforced by his membership in two major academic bodies:
-   **Academia Europaea:** Elected member of the Informatics section starting in 2016.
-   **Association for Computing Machinery (ACM):** Elevated to the status of **ACM Fellow** in 2020 (announced January 2021).

### Academic Background and Influence
Eiter's academic roots are deep within the Austrian educational system. He studied under **Georg Gottlob**, a notable figure in the field. His role as an educator and advisor has led to the supervision of a significant number of researchers who have gone on to contribute to computer science.

**Doctoral Students:**
-   Christoph Koch
-   Axel Polleres

**Other Notable Students:**
-   Guohui Xiao
-   Wolfgang Faber
-   Michael Fink
-   Stefan Woltran
-   Peter Schüller
-   Daria Stepanova

### Research Profile
Eiter maintains a strong digital presence across various academic repositories and identifiers, reflecting his active publication record. Key identifiers include a Scopus Author ID (7005085805), a DBLP Author ID (e/TEiter), and a Google Scholar ID. His research outputs are tracked across platforms like IEEE Xplore, ACM Digital Library, and zbMATH.

**Languages:**
-   German
-   English

### Identifiers and Authority Control
Eiter is cataloged in numerous national and international library systems, signifying his established standing in academic literature.
-   **ISNI:** 0000000114622298
-   **VIAF ID:** 85501045
-   **GND ID:** 135972353
-   **Library of Congress Authority ID:** n2001015676

## References

1. [Source](https://www.ae-info.org/ae/Member/Eiter_Thomas/CV)
2. Mathematics Genealogy Project
3. [Source](https://www.ae-info.org/ae/Member/Eiter_Thomas)
4. [Source](https://www.acm.org/media-center/2021/january/fellows-2020)
5. Virtual International Authority File
6. CiNii Research
7. [Source](https://www.ae-info.org/ae/User/Eiter_Thomas)
8. Personal Authority Wikibase of the Czech Republic