Maarten van Emden
Maarten van Emden | |
|---|---|
Van Emden in Victoria, British Columbia, in 2008 | |
| Born | Maarten Herman van Emden December 31, 1937 Velp, Netherlands |
| Died | January 4, 2023 (aged 85) Victoria, British Columbia, Canada |
| 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.