Stephen Brookes

Stephen D. Brookes, auch Steve Brookes, ist ein Informatiker.

Stephen D. Brookes, auch Steve Brookes, ist ein Informatiker.

Brookes erhielt seinen Bachelor-Abschluss in Mathematik an der Universität Oxford und wurde dort 1983 bei Tony Hoare in Informatik promoviert (A Model for Communicating Sequential Processes). Er ist seit 1981 an der Carnegie Mellon University, an der er 2006 eine volle Professur erhielt.

Mit Hoare und Bill Roscoe entwickelte er das failures model von Communicating Sequential Processes (CSP), das er in seiner Dissertation eingeführt, hatte, mit Roscoe weiter verbesserte und das die Basis für den FDR (Failure Divergence Refinement) Model Checker wurde. Er befasste sich mit semantischen Modellen für Programmiersprachen mit nebenläufigen Prozessen (wie Idealized CSP, Parallel Algol) und mit intensionaler Semantik.

2016 erhielt er mit Peter W. O’Hearn den Gödel-Preis für ihre Entwicklung der Concurrent Separation Logic (CSL), das nach der Laudatio ein revolutionärer Fortschritt bei Beweissystemen für die Verifizierung von Eigenschaften von Systemsoftware war, wozu typischerweise sowohl die Manipulation von Zeigern als auch die Verwaltung von Nebenläufigkeit im gemeinsam von den Prozessen geteilten Speicher gehören.[1]

Einzelnachweise

  1. ↑ Laudatio Gödelpreis 2016
Personendaten
NAME Brookes, Stephen
ALTERNATIVNAMEN Brookes, Stephen D.
KURZBESCHREIBUNG Informatiker
GEBURTSDATUM 20. Jahrhundert

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.