PeopleofSuperintelligence

Researcher

Gerhard Lakemeyer

Gerhard Lakemeyer is an AI researcher whose work connects formal knowledge representation with autonomous robotics. He earned a PhD at the University of Toronto in 1990 and joined RWTH Aachen's computer science faculty after six years at the University of Bonn. His museum robot paper received two AAAI awards, and his book with Hector Levesque explained the logic of knowledge bases; he also served as a EurAI Fellow and President. As of October 2026, he is a Professor Emeritus at RWTH Aachen, with recent work on verification for belief-based programs.

Timeline

  1. 1990s

    A Toronto PhD

    He earns a PhD from the University of Toronto in 1990. After six years at the University of Bonn, he joins the faculty of RWTH Aachen's Department of Computer Science. His research focuses on knowledge representation and cognitive robotics.

  2. 1998

    The Interactive Museum Tour-Guide Robot

    In 1998, he coauthors The Interactive Museum Tour-Guide Robot, which receives an AAAI-98 Outstanding Paper Award.

  3. 2000

    The Logic of Knowledge Bases

    With Hector Levesque, he publishes The Logic of Knowledge Bases in 2000. The book explains logic for knowledge bases and formal reasoning over explicitly represented knowledge in symbolic AI.

  4. 2016

    A Classic Paper Award

    In 2016, AAAI recognizes the museum robot paper with a Classic Paper Award for its contributions to probabilistic robot navigation and high-level planning. By July 2016, he is a EurAI Fellow and participates in an IJCAI mentoring program.

  5. 2018

    President of EurAI

    In 2018, he serves as President of the European Association for Artificial Intelligence and sits on the IJCAI-ECAI conference committee.

  6. March 2020

    Logic for robot control

    The Knowledge-Based Systems Group he leads studies AI, knowledge representation and reasoning, and cognitive robotics. It develops Golog-based methods for high-level mobile-robot control with task planning and execution monitoring, and belongs to Carologistics, a five-time RoboCup Logistics League champion.

  7. March 2025

    Verifying belief programs

    In March 2025, he and Daxin Liu publish A Framework for Belief-based Programs and Their Verification. The paper proposes a modal-logic formalism for probabilistic belief programs and investigates whether program verification is decidable.

  8. As of October 2026

    Professor Emeritus at RWTH

    As of October 2026, he is a Professor Emeritus at RWTH Aachen University and remains associated with its Knowledge-Based Systems Group.

  1. Google had the most people shaping AI every year from 2014 to 2025Our estimates of which organizations employed the most people shaping AI from 1961 to 2025, with a year-by-year chart.
  2. The United States employs an estimated 53% of people in our data with a known employment countryOur estimates of where AI careers are concentrated now and how countries’ shares of dated positions changed over time.
  3. 46% of living people in our data with known birth and employment countries work outside their birth countryOur estimate of cross-border careers in AI, from country of birth and the country of each current organization.
  4. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionOur estimates of where the people shaping AI studied and where their careers led, from education records in cited biographies.

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 Gerhard Lakemeyer yet. Send us a free-licensed photo.

  1. Australian Knowledge Representation Conventicle cgi.cse.unsw.edu.au. Checked 19 October 2026.
  2. AAAI Conference Paper Awards and Recognition aaai.org. Checked 19 October 2026.
  3. The Logic of Knowledge Bases (Second Edition) cs.toronto.edu. Checked 19 October 2026.
  4. AAAI Classic Paper Award aaai.org. Checked 19 October 2026.
  5. Lunch with a Fellow ijcai-16.org. Checked 19 October 2026.
  6. Conference Committee – IJCAI-ECAI-18 ijcai-18.org. Checked 19 October 2026.
  7. Gerhard Lakemeyer | Construction Robotics M.Sc. cr.rwth-aachen.de. Checked 19 October 2026.
  8. A Framework for Belief-based Programs and Their Verification jair.org. Checked 19 October 2026.
  9. Univ.-Prof. i. R. Dr. phil. Gerhard Lakemeyer rwthcontacts.rwth-aachen.de. Checked 19 October 2026.
  10. Gerhard Lakemeyer kbsg.rwth-aachen.de. Checked 19 October 2026.