Dutch computer scientist who used mathematical logic as the foundation for constructing computer programs and is noted especially for his work on algorithms and his advocacy of structured programming.