Computer scientist whose work on algorithms, structured programming and mathematical verification helped shape modern computing.