15 августа в собственном доме в Нидерландах на 73-м году жизни скончался от рака Эдсгер Дейкстра. Он являлся выдающимся представителем научного направления, которое принято называть теоретическим программированием.
Эдсгер Дейкстра был выдающимся представителем научного направления, которое принято называть теоретическим программированием. Его научная деятельность была направлена на разработку средств и методов для создания «правильных» программ, т. е. таких программ, корректность которых может быть доказана формальными методами. В России он известен как один из основателей и популяризаторов структурного программирования.