Reasoning About Programs
Edsger Dijkstra elucidates the principles of formal program reasoning, advocating for rigorous methods to ensure software correctness through logical deduction and structured proof techniques.
Faculty & Researcher Profile
Edsger W. Dijkstra
Professor of Computer Science at the University of Texas at Austin
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.
3standalone talks3total lectures3hrecorded
Education & Doctoral Lineage
- Ph.D. in Theoretical Physics, University of Amsterdam
- Leiden University
Appointments & Career
- Professor of Computer Science, University of Texas at Austin
- Professor of Mathematics, Eindhoven University of Technology
- Research Fellow, Burroughs Corporation
- Programmer, Centrum Wiskunde & Informatica
Landmark Works & Courses
- "Go To Statement Considered Harmful"
- "A Discipline of Programming"
- "Communicating Sequential Processes"
Intellectual Web & Academic Lineage · Edsger W. Dijkstra
2 connectionsVerified alma mater degrees, faculty appointments, co-authors, doctoral lineage, and intellectual peers across the archive.
Alma Materinstitution
University of Amsterdam
1 lectures
Ph.D. in Theoretical Physics, University of Amsterdam
Standalone talks by Edsger W. Dijkstra
3Self-contained public lectures, keynote addresses, and research seminars.
An Interplay Between Programming and Mathematics
Edsger W. Dijkstra explores the symbiotic relationship between rigorous mathematical thought and the disciplined practice of programming, advocating for formal approaches to software construction.
25 Years of Mathematical Thrills
A retrospective by Edsger W. Dijkstra, reflecting on the mathematical insights and challenges that shaped his influential contributions to computer science over a quarter-century.