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/