Maarten van Emden
Dutch-Canadian computer scientist (1937–2023) From Wikipedia, the free encyclopedia
Remove ads
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.
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 |
Van Emden was born in Velp, the Netherlands, and his early childhood was spent mostly in the Dutch East Indies. He did his national military service in 1959–1960, serving as pilot and commissioned officer. He attended national flight training school and worked for KLM as a pilot from 1960 to 1963.[1]
Van Emden completed an MSc from the Delft University of Technology in 1966 and a PhD in computer science from the University of Amsterdam in 1971. His dissertation, titled “An Analysis of Complexity" was in Information theory and Data analysis. His thesis supervisor was Adriaan van Wijngaarden, who also supervised another notable Dutch computer scientist Edsger W. Dijkstra.[2]
Van Emden spent 1971 to 1972 as a postdoctoral fellow at the IBM Thomas J. Watson Research Center and then joined the Machine Intelligence group at the University of Edinburgh as a research fellow under Donald Michie. In 1975, he immigrated to Canada to join the faculty at the University of Waterloo. He moved to the University of Victoria in 1987. His visiting fellow positions include University of Edinburgh in 1980, Imperial College (UK) in 1982–1983, and NWO (Netherlands) in 2000–2001.[citation needed]
In collaboration with Robert Kowalski, van Emden developed the fixpoint semantics of Horn clauses, which underpin the logical semantics of logic programming.[3] He further researched on software verification and correctness, and constraint satisfaction, along with interval arithmetic and interval propagation .[4] He wrote an advice-taking Prolog program for certain chess endgames.[5]
Between 2008 and 2019 van Emden wrote a collection of essays on the practice of programming and the history and philosophy of computing on a blog entitled A Programmer's Place.[6]
Remove ads
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
Remove ads