PeopleofSuperintelligence

Researcher

Maarten van Emden

Maarten van Emden was a computer scientist whose work gave logic programming a formal semantics and linked it with functional programming. Born in Velp, the Netherlands, in 1937, he earned an MSc at Delft in 1966 and a computer science PhD at Amsterdam in 1971. He held research posts at IBM and Edinburgh, joined Waterloo in 1975, and moved to Victoria in 1987. With Robert Kowalski, he developed fixpoint semantics for Horn clauses in 1976; he published Logic programming with equations with PhD student Keitaro Yukawa in 1987, coauthored a 2001 paper on interval arithmetic, and introduced relational programming in 2014. He died in January 2023.

Born
1937
Died
2023
Badges

Years link to their sources.

Timeline

  1. 1937–1971

    A Delft degree and doctorate

    Born in Velp, the Netherlands, in 1937, he earns an MSc at Delft University of Technology in 1966 and a computer science PhD at the University of Amsterdam in 1971. Adriaan van Wijngaarden supervises his dissertation, An Analysis of Complexity, on information theory and data analysis.

  2. 1971–1975

    Research and faculty posts

    From 1971 to 1972, he holds an IBM postdoctoral fellowship at the Thomas J. Watson Research Center in Yorktown Heights. He returns to Edinburgh for a research position under Donald Michie in the Department of Machine Intelligence, and joins the University of Waterloo as a professor in 1975.

  3. 1976

    Fixpoint semantics for Horn clauses

    With Robert Kowalski, he develops the fixpoint semantics of Horn clauses in 1976, a basis for logic programming's logical semantics.

  4. 1987

    Moving to Victoria

    In 1987, he moves to the University of Victoria.

  5. 1987

    Logic programming with equations

    With his PhD student Keitaro Yukawa, he publishes Logic programming with equations in 1987, linking logic and functional programming.

  6. 2001

    Interval arithmetic

    In 2001, he coauthors Interval arithmetic: From principles to implementation with Timothy Hickey and Qun Ju.

  7. 2014

    Relational programming

    In a 2014 talk at Cambridge, he introduces relational programming as a method with three texts: axioms that specify the problem, a theorem that expresses the algorithm, and code that transcribes the theorem to C++.

  8. January 2023

    Death in January 2023

    He dies in January 2023.

Career

  1. From 1987University of VictoriaProfessor
  2. From 1975University of WaterlooProfessor
  3. 1972–1975University of EdinburghResearcher
  4. 1971–1972IBM ResearchPostdoctoral Fellow

Education

  1. 1971University of AmsterdamPhD
  2. 1966Delft University of TechnologyMSc

From the biography.

  1. 23% of people shaping AI who left a university for a company later returned to a universityIncludes Maarten van Emden. We estimate that 468 of the 2,011 people shaping AI who left a university for a company (23%) later returned to a university after a median of 5 years, and 163 of 829 (20%) made the reverse round trip.
  2. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other universityIncludes University of Edinburgh. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other university. We compare doctorate and 5+ year employment links, career timing and current workplaces for 187 major-prize and 1,111 best-paper winners.
  3. Google alumni have founded or led 133 other organizations, more than any other AI labIncludes IBM. We estimate that alumni of 17 major AI labs went on to found or lead 350 other organizations, including 226 they founded, and we trace 472 career moves directly between 23 labs since 2010.
  4. Universities keep AI researchers for a median of 6 years, compared with 2 years at frontier labsIncludes IBM. Across 15,811 dated work stays (6,529 people), median role tenure runs from 6 years at universities to 2 years at frontier labs. We compare all five organization types, starting decades from the 1970s to the 2020s, and the organizations that keep people longest.

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 Maarten van Emden yet. Send us a free-licensed photo.

  1. Maarten van Emden - Wikipedia en.wikipedia.org. Checked 21 October 2026.
  2. Remembering Maarten van Emden – Dusty Decks: Preserving historic software mcjones.org. Checked 21 October 2026.
  3. In Memoriam: Maarten van Emden – Association for Logic Programming logicprogramming.org. Checked 21 October 2026.
  4. Logic programming beyond Prolog | Department of Computer Science and Technology cst.cam.ac.uk. Checked 21 October 2026.
  5. Home Page MHvE maarten.vanemden.com. Checked 21 October 2026.