basic-memory

--- title: Edsger Dijkstra type: Person tags: [algorithms, structured-programming, formal-methods] --- # Edsger Dijkstra Pioneer of structured programming and graph algorithms. ## Observations - [name] Edsger Dijkstra - [role] Computer scientist and professor - [expertise] Algorithm design - [expertise] Formal verification - [fact] Developed the shortest path algorithm that bears his name - [fact] Advocated for structured programming and formal methods ## Relations - works_at [[University of Texas at Austin]] - created [[Dijkstra's Algorithm]]