Robert W Floyd Amerikanischer Informatiker

Robert W. Floyd (* 8. Juni 1936 in New York, NY, USA; * 25. September 2001 in New York, USA), US-amerikanischer Informatiker und Gewinner des AM Turing Award 1978, der höchsten Auszeichnung in der Informatik, für „Hilfe bei der Gründung die folgenden wichtigen Teilbereiche der Informatik: die Parsing-Theorie, die Semantik von Programmiersprachen, die automatische Programmüberprüfung, die automatische Programmsynthese und die Analyse von Algorithmen. “

1953 erwarb Floyd einen Bachelor-Abschluss in Geisteswissenschaften an der Universität von Chicago, wo er sich im Rahmen eines experimentellen Programms für begabte Kinder eingeschrieben hatte. Nach seinem Abschluss war er bei der Armor Research Foundation des Illinois Institute of Technology angestellt, zunächst als Computerbetreiber und dann als Computerprogrammierer. 1958 fand er Zeit für einen zweiten Bachelor-Abschluss in Physik an der Universität von Chicago. 1962 zog Floyd nach Wakefield, Massachusetts, um als leitender Projektwissenschaftler für Computer Associates zu arbeiten, eine frühe Softwarefirma, die sich auf das Schreiben spezialisiert hatte Compiler.

Floyd trat 1965 in die Informatikfakultät des Carnegie Institute of Technology (heute Carnegie Mellon University) ein. Die Informatik war eine neue akademische Disziplin, und Floyd war maßgeblich an der Entwicklung des Lehrplans der Schule beteiligt. 1968 wechselte Floyd an die Informatikabteilung der Stanford University, wo er 1970 ordentlicher Professor wurde. Kurz nach seiner Pensionierung aus Stanford im Jahr 1994 wurde bei Floyd die Pick-Krankheit diagnostiziert, eine seltene Form vorzeitiger Demenz.

Floyd wurde in die American Academy of Arts and Sciences, die American Association for Advancement of Science und die Association for Computing Machinery (ACM) gewählt. Er war viele Jahre Mitglied der Redaktion der Kommunikation der ACM und erhielt 1992 den IEEE Computer Pioneer Award. Mit dem amerikanischen Informatiker Richard Beigel schrieb Floyd den Klassiker Die Sprache der Maschinen: Eine Einführung in die Berechenbarkeit und formale Sprachen (1994)).