Inhaltsverzeichnis
22 Beziehungen: American Association for the Advancement of Science, Association for Computing Machinery, Columbia University, Cornell University, Dana Scott, Dartmouth College, David Harel, EATCS-Award, Guggenheim-Stipendium, IBM, Jaco de Bakker, Juris Hartmanis, Komplexitätstheorie, Modallogik, Postdoc, Susan Landau (Informatikerin), Turingmaschine, Universität Aarhus, University of California, Berkeley, W. Wallace McDowell Award, 1951, 20. Dezember.
American Association for the Advancement of Science
Logo Zentrale in Washington Die American Association for the Advancement of Science, auch genannt „Triple A-S“ (AAAS), ist die weltweit größte wissenschaftliche Gesellschaft und Herausgeberin mehrerer Zeitschriften, darunter Science und Science Advances.
Sehen Dexter Kozen und American Association for the Advancement of Science
Association for Computing Machinery
Die Association for Computing Machinery (ACM) wurde 1947 als erste wissenschaftliche Gesellschaft für Informatik gegründet.
Sehen Dexter Kozen und Association for Computing Machinery
Columbia University
Die Columbia University (offiziell Columbia University in the City of New York oder Columbia-Universität in der Stadt New York) zählt zu den ältesten und renommiertesten Universitäten der Vereinigten Staaten.
Sehen Dexter Kozen und Columbia University
Cornell University
Die juristische Bibliothek Der Westcampus Die Balch Halls Die Cornell University (kurz: Cornell) ist eine US-amerikanische Privatuniversität mit Hauptcampus in Ithaca, New York.
Sehen Dexter Kozen und Cornell University
Dana Scott
Dana S. Scott Dana Stewart Scott (* 11. Oktober 1932 in Berkeley, Kalifornien) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie, axiomatischen Mengenlehre und Semantik der Programmiersprachen geleistet hat.
Sehen Dexter Kozen und Dana Scott
Dartmouth College
Das Dartmouth College wurde 1769 in Hanover, New Hampshire, gegründet und ist somit die neuntälteste Universität der USA sowie die letzte gegründete Hochschule der amerikanischen Kolonialzeit.
Sehen Dexter Kozen und Dartmouth College
David Harel
David Harel (Mitte) 2006 David Harel (* 12. April 1950 in London) ist ein israelischer Informatiker, der sich mit Software-Engineering, theoretischer Informatik (Berechenbarkeit, Datenbanktheorie, Automatentheorie), Systembiologie und dynamischer Logik befasst.
Sehen Dexter Kozen und David Harel
EATCS-Award
Der EATCS-Award der European Association for Theoretical Computer Science ist ein seit 2000 jährlich vergebener Preis für herausragende theoretische Informatiker.
Sehen Dexter Kozen und EATCS-Award
Guggenheim-Stipendium
Das Guggenheim-Stipendium ist ein Stipendium, das von der US-amerikanischen John-Simon-Guggenheim-Gedächtnis-Stiftung (engl. John Simon Guggenheim Memorial Foundation) an Amerikaner (im Sinne von Einwohnern des Kontinents Amerika) vergeben wird, die sich in der Naturwissenschaft, den Sozialwissenschaften, den Geisteswissenschaften oder der Kunst hervorgetan haben.
Sehen Dexter Kozen und Guggenheim-Stipendium
IBM
Die International Business Machines Corporation (IBM) ist ein börsennotiertes US-amerikanisches IT- und Beratungsunternehmen mit Sitz in Armonk im Bundesstaat New York.
Sehen Dexter Kozen und IBM
Jaco de Bakker
Jacobus Willem „Jaco“ de Bakker (* 7. März 1939 in Ede; † 13. Dezember 2012 in Amsterdam) war ein niederländischer theoretischer Informatiker.
Sehen Dexter Kozen und Jaco de Bakker
Juris Hartmanis
Juris Hartmanis (2002) Juris Hartmanis (* 5. Juli 1928 in Riga, Lettland; † 29. Juli 2022) war ein lettisch-US-amerikanischer Informatiker, der gemeinsam mit Richard E. Stearns 1993 den Turing Award für seine Forschungsleistungen auf dem Gebiet der Komplexitätstheorie erhielt.
Sehen Dexter Kozen und Juris Hartmanis
Komplexitätstheorie
Die Komplexitätstheorie als Teilgebiet der theoretischen Informatik befasst sich mit der Komplexität algorithmisch behandelbarer Probleme auf verschiedenen formalen Rechnermodellen.
Sehen Dexter Kozen und Komplexitätstheorie
Modallogik
Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst.
Sehen Dexter Kozen und Modallogik
Postdoc
Postdoc (selten auch Post-Doc oder im Deutschen auch Postdoktorand) ist ein Wissenschaftler, der nach Beendigung einer Promotion den Doktorgrad erlangt hat und nun an einer Universität oder einem Forschungsinstitut befristet tätig ist.
Sehen Dexter Kozen und Postdoc
Susan Landau (Informatikerin)
Susan Landau, 2022 Susan Eva Landau (* 3. Juni 1954 in New York) ist eine US-amerikanische Informatikerin und bekannt als Expertin für Datensicherheitsfragen.
Sehen Dexter Kozen und Susan Landau (Informatikerin)
Turingmaschine
Eine Turingmaschine ist ein mathematisches Modell der theoretischen Informatik, das eine abstrakte Maschine definiert.
Sehen Dexter Kozen und Turingmaschine
Universität Aarhus
Die Universität Aarhus ist mit über 33.000 Studenten die zweitgrößte Universität in Dänemark und hat ihren Sitz in der Stadt Aarhus.
Sehen Dexter Kozen und Universität Aarhus
University of California, Berkeley
Die University of California, Berkeley (auch bekannt als Cal oder UC Berkeley) ist eine staatliche Universität in Berkeley im US-Bundesstaat Kalifornien und gehört seit vielen Jahren zu den renommiertesten Universitäten der Welt.
Sehen Dexter Kozen und University of California, Berkeley
W. Wallace McDowell Award
Der W. Wallace McDowell Award ist ein Informatik-Preis des IEEE und eine von dessen höchsten Auszeichnungen.
Sehen Dexter Kozen und W. Wallace McDowell Award
1951
Das Jahr 1951 ist von den zunehmenden Feindseligkeiten zwischen Ostblock und westlicher Welt geprägt, die sich im Koreakrieg und der McCarthy-Ära, speziell dem Prozess gegen Ethel und Julius Rosenberg, widerspiegeln.
Sehen Dexter Kozen und 1951
20. Dezember
Der 20.
Sehen Dexter Kozen und 20. Dezember
Auch bekannt als Dexter Campbell Kozen, Kozen.