Maarten van Emden | |
---|---|
Born | Maarten Herman van Emden December 31, 1937 Velp, Netherlands |
Died | January 4, 2023 Victoria, British Columbia, Canada | (aged 85)
Citizenship |
|
Alma mater | University of Amsterdam |
Known for | Logic programming Prolog Artificial intelligence |
Scientific career | |
Fields | Computer science Logic |
Institutions | University of Victoria University of Waterloo |
Thesis | An analysis of complexity (1971) |
Doctoral advisor | Adriaan 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.