에츠허르 다익스트라 편집하기 (부분)

==주요 업적==
*다익스트라 알고리즘: 1959년 발표된 이 알고리즘은 가중치가 있는 그래프에서 단일 출발점에서 모든 노드까지의 최단 경로를 계산하는 방법을 제시하였다.
*구조적 프로그래밍: 1968년 「Go To Statement Considered Harmful」라는 논문을 통해 비구조적 프로그래밍을 비판하고, 구조적 프로그래밍의 필요성을 주장하였다.
*동시성 제어 및 상호 배제: 세마포어 개념을 발전시키고, 프로세스 간의 자원 접근 제어 문제를 연구하였다.
*수학적 증명 기반의 프로그램 설계: 명세 기반의 프로그램 개발과 수학적 정당성을 강조하는 프로그래밍 방식(소위 다익스트라 방식)을 주창하였다.