Reasoning About Programs

Name: Reasoning About Programs
Uploaded: 2025-04-22T16:37:33.000Z
Duration: 54 min 50 s
Channel: Edsger W. Dijkstra
Description: Edsger Dijkstra elucidates the principles of formal program reasoning, advocating for rigorous methods to ensure software correctness through logical deduction and…

Edsger W. Dijkstra

UT Austin·Edsger W. Dijkstra

54:50

Notebook

Type below to lock the video timestamp, or press S to capture a slide.

Reasoning About Programs

Edsger W. Dijkstra UT Austin

54:50·2025·graduate·Research Seminar

Edsger Dijkstra elucidates the principles of formal program reasoning, advocating for rigorous methods to ensure software correctness through logical deduction and structured proof techniques.

1990 Dijkstra lecture, including solving 2 problems using programing

Theory & Algos Systems & CS Algorithms & Data Structures Graph Algorithms & Shortest Paths Programming Theory Program Correctness Formal Methods

About the lecturer

Speaker directory →

Edsger W. Dijkstra

Professor of Computer Science

Edsger W. Dijkstra was a pioneering computer scientist and Turing Award laureate from UT Austin, celebrated for his foundational contributions to algorithms and programming language theory.

3 lectures in archiveView profile