Entre sus contribuciones a las ciencias de la computación está la solución del problema del camino más corto, también conocido como el algoritmo de Dijkstra, la notación polaca inversa y el relacionado algoritmo shunting yard, "THE multiprogramming system", el algoritmo del banquero y la construcción del semáforo para coordinar múltiples procesadores y programas.