PeopleofSuperintelligence

Researcher

Carsten Lutz

Carsten Lutz is a computer scientist whose AI work connects logic with knowledge representation and graph neural networks. After researching at the University of Bremen from 2008, he moved to Leipzig in April 2022 to lead a group on the foundations of knowledge representation. He received an ERC Consolidator Grant in 2015, became a EurAI Fellow in 2016, and coauthored An Introduction to Description Logic in 2017. At KR 2026, he was an invited speaker on the logical expressive power of graph neural networks, and his paper with Marvin Grosser won the Ray Reiter Best Paper Award. As of October 2026, he is Professor of Computer Science at Leipzig University.

Works
299
Citations
9,075
h-index
49

Publication numbers from OpenAlex, as of 19 October 2026.

Timeline

  1. 2008

    Research at Bremen

    In 2008, he begins teaching and researching at the University of Bremen.

  2. 2015

    An ERC Consolidator Grant

    In 2015, the European Research Council awards him a Consolidator Grant to build up his research team.

  3. 2016

    A EurAI fellowship

    In 2016, the EurAI Fellows Selection Committee elects him as a EurAI Fellow.

  4. 2017

    A description logic book

    In 2017, he coauthors An Introduction to Description Logic with Franz Baader, Ian Horrocks, and Uli Sattler.

  5. April 2022

    Leading a Leipzig research group

    In April 2022, he moves to Leipzig to lead the research group on the foundations of knowledge representation.

  6. 2026

    A KR talk and award

    In 2026, KR invites him to speak on the logical expressive power of graph neural networks. With Marvin Grosser, he coauthors “Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models,” which wins the Ray Reiter Best Paper Award.

  7. As of October 2026

    Professor at Leipzig University

    As of October 2026, he is Professor of Computer Science at Leipzig University.

Career

  1. Since 2022Leipzig UniversityProfessor of Computer Science
  2. 2023–2026Center for Scalable Data Analytics and Artificial Intelligence
  3. 2008–2021University of Bremen
  4. 2002–2009Technische Universität Dresden
  5. 1999–2002RWTH Aachen University

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Most-cited works

  1. Pushing the EL envelope2005 · 902 citationsWith Franz Baader
  2. An Introduction to Description Logic2017 · Cambridge University Press eBooks · 508 citationsWith Franz Baader and Ian Horrocks
  3. Pushing the EL Envelope Further2008 · 218 citationsWith Franz Baader
  4. Temporal Description Logics: A Survey2008 · International Symposium on Temporal Representation and Reasoning · 217 citations
  5. -connections of abstract description systems2004 · Artificial Intelligence · 206 citations

From OpenAlex, as of 19 October 2026.

  1. The company share of AI researchers’ top papers rose from 2% to 32%Includes Leipzig University. We estimate where leading AI researchers worked when their most-cited papers appeared. The company share rose from 2% in 1975–1979 to 32% in 2020–2024.
  2. Stanford University trained or employed 26 of the 108 AI major-prize winners, more than any other universityIncludes Leipzig University. Stanford University trained or employed 26 of the 108 AI major-prize winners, more than any other university. We compare doctorate and employment links for major-prize and best-paper winners.
  3. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes Technische Universität Dresden. Our estimates of where the people shaping AI studied and where their careers led, from education records in cited biographies.
  4. Google has the highest combined h-index among AI organizationsIncludes RWTH Aachen University. Our estimates of combined and median h-index at AI organizations, using current affiliations and OpenAlex records.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Carsten Lutz yet. Send us a free-licensed photo.

  1. European Research Council Honors Bremen Computer Scientists uni-bremen.de. Checked 18 October 2026.
  2. Speaker Details ( Dark ) – Leipzig Symposium on Intelligent Systems lancaster.ac.uk. Checked 18 October 2026.
  3. Bulletin #2 (2016) | European Association for Artificial Intelligence oldwebsite.eurai.org. Checked 18 October 2026.
  4. Contents - An Introduction to Description Logic cambridge.org. Checked 18 October 2026.
  5. KR 2026 kr.org. Checked 18 October 2026.
  6. KR 2026 Awards kr.org. Checked 18 October 2026.
  7. Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models @KR2026 proceedings.kr.org. Checked 18 October 2026.
  8. Carsten Lutz home.uni-leipzig.de. Checked 18 October 2026.