MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:18:40 GMT
Content-Type: text/html
Content-Length: 1283
Last-Modified: Friday, 22-Nov-96 16:49:09 GMT
Edsger Wybe Dijkstra
Edsger Wybe Dijkstra
Schlumberger Centennial Chair in Computer Sciences
Professor of Mathematics
Kandidaatsexamen, Mathematics and Physics (1951),
Doctoraal Examen, Theoretical Physics (1956)
University of Leyden
Ph.D. (1959), University of Amsterdam
Honors and Awards
- ACM Turing Award, 1972
- Foreign Honorary Member, American Academy of Arts and Sciences
- Member, Royal Netherlands Academy of Arts and Sciences
- Distinguished Fellow, British Computer Society
- AFIPS Harry Goode Memorial Award, 1974
- Doctor of Science Honoris Causa, The Queen's University of Belfast
Areas of Interest
Program correctness, mathematical methodology algorithms, and systems
Summary of Research
My area of interest focuses on the streamlining of the mathematical argument
so as to increase our powers of reasoning, in particular, by the use of
formal techniques.
Additional information can be obtained from
individual faculty members'
home pages.
Back to List of Faculty Profiles