Schneller Zugriff als Browser!
15 Beziehungen: Amir Pnueli, Bell Laboratories, Edmund M. Clarke, Gerard Holzmann, Informatiker, Joseph Sifakis, Moshe Y. Vardi, New Jersey, Paris-Kanellakis-Preis, Pierre Wolper, Turing Award, University of Washington, 10. März, 1943, 2021.
Amir Pnueli
Amir Pnueli (* 22. April 1941 in Nahalal, Palästina; † 2. November 2009 in New York City, New York) war ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen geleistet und dafür 1996 mit dem Turing Award ausgezeichnet wurde.
Neu!!: Robert Kurshan und Amir Pnueli · Mehr sehen »
Bell Laboratories
Nokia Bell Labs Murray Hill, NJ Haupteingang Nokia Bell Labs Murray Hill, NJ Die Bell Laboratories (auch Bell Labs, früher Bell Telephone Laboratories, kurz BTL) sind die ehemalige Forschungsabteilung der Telefongesellschaft AT&T, in der im Laufe des 20.
Neu!!: Robert Kurshan und Bell Laboratories · Mehr sehen »
Edmund M. Clarke
Edmund M. Clarke 2006 Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia; † 22. Dezember 2020 in Mt. Lebanon, Pennsylvania) war ein US-amerikanischer Informatiker.
Neu!!: Robert Kurshan und Edmund M. Clarke · Mehr sehen »
Gerard Holzmann
Gerard J. Holzmann (* 1951 in Amsterdam) ist ein niederländischer Informatiker.
Neu!!: Robert Kurshan und Gerard Holzmann · Mehr sehen »
Informatiker
Informatiker ist eine allgemeine Berufsbezeichnung für Personen, die im Bereich der Informationstechnik (IT) tätig sind, dort forschen oder die Erkenntnisse der Informatik anwenden.
Neu!!: Robert Kurshan und Informatiker · Mehr sehen »
Joseph Sifakis
Joseph Sifakis 2008 Joseph Sifakis (* 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer, Kathimerini, 4.
Neu!!: Robert Kurshan und Joseph Sifakis · Mehr sehen »
Moshe Y. Vardi
Moshe Vardi Moshe Y. Vardi (* 4. Juli 1954 in Haifa) ist ein israelisch-amerikanischer Informatiker.
Neu!!: Robert Kurshan und Moshe Y. Vardi · Mehr sehen »
New Jersey
New Jersey BE / AE, deutsch älter auch Neujersey, ist (nach Rhode Island, Delaware und Connecticut) der viertkleinste Bundesstaat der Vereinigten Staaten und zugleich derjenige mit der größten Bevölkerungsdichte.
Neu!!: Robert Kurshan und New Jersey · Mehr sehen »
Paris-Kanellakis-Preis
Der Paris Kanellakis Preis (Paris Kanellakis Theory and Practice Award) ist ein Informatikpreis der Association for Computing Machinery (ACM) für theoretische Errungenschaften, die eine bedeutende Auswirkung in der Praxis des Rechnens haben.
Neu!!: Robert Kurshan und Paris-Kanellakis-Preis · Mehr sehen »
Pierre Wolper
Pierre Wolper (* 1955) ist ein belgischer Informatiker und seit 2018 Rektor der Universität Lüttich.
Neu!!: Robert Kurshan und Pierre Wolper · Mehr sehen »
Turing Award
Der nach Alan Turing benannte A. M. Turing Award wird jährlich von der Association for Computing Machinery (ACM) an Personen verliehen, die sich besonders um die Entwicklung der Informatik verdient gemacht haben.
Neu!!: Robert Kurshan und Turing Award · Mehr sehen »
University of Washington
''The Quad'' mit japanischen Yoshino Kirschbäumen Die zur Weltausstellung 1909 gebaute ''Drumheller Fountain'' mit dem Mount Rainier im Hintergrund alternativtext.
Neu!!: Robert Kurshan und University of Washington · Mehr sehen »
10. März
Der 10.
Neu!!: Robert Kurshan und 10. März · Mehr sehen »
1943
Keine Beschreibung.
Neu!!: Robert Kurshan und 1943 · Mehr sehen »
2021
Das Jahr 2021 war weiterhin von der Corona-Pandemie geprägt, welche weitere Einschränkungen im öffentlichen Leben mit sich brachte.
Neu!!: Robert Kurshan und 2021 · Mehr sehen »
