Maarten van Emden

Maarten van Emden
Van Emden in Victoria, British Columbia, in 2008
Born
Maarten Herman van Emden

(1937-12-31)December 31, 1937
Velp, Netherlands
DiedJanuary 4, 2023(2023-01-04) (aged 85)
Citizenship
  • Netherlands
  • Canada
Alma materUniversity of Amsterdam
Known forLogic programming
Prolog
Artificial intelligence
Scientific career
FieldsComputer science
Logic
InstitutionsUniversity of Victoria
University of Waterloo
Thesis An analysis of complexity  (1971)
Doctoral advisorAdriaan van Wijngaarden

Maarten Herman van Emden (December 31, 1937 – January 4, 2023) was a Dutch-Canadian mathematician and computer scientist whose research in the foundations of logic programming and constraint logic programming was highly influential.