Vertaling van "Turing Award" in Pools
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Manuel Blum ( 26. April 1938 in Caracas, Venezuela) ist ein US-amerikanischer Informatiker, der 1995 „in Anerkennung seiner Beiträge zu den Grundlagen der algorithmischen Komplexitätstheorie sowie deren Anwendung in der Kryptographie und der Fehlerüberprüfung von Programmen" den Turing Award erhielt.
Manuel Blum (ur. 26 kwietnia 1938 w Caracas, Wenezuela) - wenezuelski informatyk, laureat nagrody Turinga w 1995 roku za wkład w rozwój teorii złożoności obliczeniowej oraz jej zastosowań w kryptografii i weryfikacji formalnej.
John Cocke gewann später den Turing Award und die Presidential Medal of Science für seine Arbeit am 801.
John Cocke w uznaniu swych zasług został odznaczony Nagrodą Turinga oraz Narodowym Medalem Nauki USA za swoje prace nad 801 i architekturą RISC.
1986 erhielt er den Nevanlinna-Preis, 1997 den Knuth-Preis für Informatik, 2008 den EATCS-Award und 2010 den Turing Award.
Otrzymał Nagrodę Nevanlinny w 1986 roku, Nagrodę Knutha w 1997, nagrodę organizacji European Association for Theoretical Computer Science w 2008 oraz Nagrodę Turinga w 2010.
Turing Award wird jährlich für herausragende Arbeiten auf dem Gebiet der Informatik gegeben.
Nagroda Turinga jest przyznawana corocznie za wyjątkową pracę w dziedzinie informatyki.
Floyd erhielt 1978 den Turing Award für seinen Einfluss auf die Methoden zur Erzeugung effizienter und verlässlicher Software und für seinen Beitrag zur Gründung der folgenden Gebiete der Informatik: Theorie des Parsens, Semantik von Programmiersprachen, automatische Programmverifikation, automatische Programmsynthese und Analyse von Algorithmen.
W 1978 r. otrzymał Nagrodę Turinga za istotny wpływ na metodologię tworzenia efektywnego i niezawodnego oprogramowania i za udział w powstaniu ważnych dziedzin nauk komputerowych: analizy składniowej, semantyki języków programowania, automatycznej weryfikacji programów, automatycznej syntezy programów i analizy algorytmów.
1980 erhielt er den Turing Award für seine grundlegenden Errungenschaften bei der Definition und Entwicklung von Programmiersprachen.
W 1980 roku, w dowód uznania za wkład w rozwój języków programowania otrzymał nagrodę Turinga.
1980 erhielt er den Turing Award für seine grundlegenden Errungenschaften bei der Definition und Entwicklung von Programmiersprachen.
Später arbeitete er auf einem "Funktions-Ebene" Programmiersprache FP bekannt, die in seiner Turing Award Vortrag beschrieben wurde "Kann Programmierung befreit werden von der von Neumann Stil?".
Później pracował na "Funkcja poziomu" języka programowania znany jako PR, które zostało opisane w wykładzie Nagrodę Turinga "Programowanie może być wyzwolony od stylu von Neumanna?".
