Researcher in LogicProgramming at the Centrum voor Wiskunde en Informatica (CWI), and professor of ComputerScience in the University of Amsterdam, both in the Netherlands.  Author of several books in LogicProgramming, including:

*''PrinciplesOfConstraintProgramming''
*''VerificatonOfSequentialAndConcurrentPrograms''
*''FromLogicProgrammingToProlog''

His webpage is http://homepages.cwi.nl/~apt/

----
CategoryAuthor