User:Maarten van Emden

The account of this former contributor was not re-activated after the server upgrade of March 2022.

After undergraduate work in electrical engineering and mathematics, Maarten van Emden completed his PhD thesis at the University of Amsterdam in information theory and data analysis. His work on sorting algorithms led to a postdoctoral year at the IBM T.J. Watson research laboratory. He then joined the Department of Machine Intelligence at the University of Edinburgh, where he became involved in the development of logic programming. In Canada, at the universities of Waterloo and Victoria, he has taught and published in logic programming, artificial intelligence, and software engineering. His current work is in constraint processing, engineering computation, and in object-oriented software design.