• 1941 April 22
    (b.) -
    2009 November 02


He made a major breakthrough in the verification and certification of concurrent and reactive systems with his landmark 1977 paper "The Temporal Logic of Programs"(1) which was a crucial turning point in the progress of formal methods for such systems. This paper triggered a fundamental paradigm shift in reasoning about the dynamic behavior of systems; the techniques it introduces have had extraordinary influence and proven to be of lasting value. His work has been characterized as the most important contribution to program verification in the last twenty years and it has set the agenda for research and practice in the area.
  • Date of Birth:

    1941 April 22
  • Date of Death:

    2009 November 02
  • Gender:

  • Noted For:

    For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
  • Category of Achievement:

  • More Info: