| dbpprop:abstract
|
- Robert W Floyd was an eminent computer scientist. Born in New York, Floyd finished school at age 14. At the University of Chicago, he received a Bachelor's degree in liberal arts in 1953 (when still only 17) and a second Bachelor's degree in physics in 1958. Becoming a computer operator in the early 1960s, he began publishing many noteworthy papers and was appointed an associate professor at Carnegie Mellon University by the time he was 27 and became a full professor at Stanford University six years later. He obtained this position without a Ph.D. His contributions include the design of Floyd's algorithm, which efficiently finds all shortest paths in a graph, and work on parsing. In one isolated paper he introduced the important concept of error diffusion for rendering images, also called Floyd-Steinberg dithering (though he distinguished dithering from diffusion). A significant achievement was pioneering the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was an important contribution to what later became Hoare logic. Floyd worked closely with Donald Knuth, in particular as the major reviewer for Knuth's seminal book The Art of Computer Programming, and is the person most cited in that work. He was the co-author, with Richard Beigel, of the textbook The Language of Machines: an Introduction to Computability and Formal Languages (1994, W.H. Freeman and Company, ISBN 978-0716782667). He received the Turing Award in 1978 "for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms". Floyd married and divorced twice, and had four children. His hobbies included backgammon and hiking.
- Robert W Floyd war ein US-amerikanischer Informatiker. Er ließ seinen ursprünglichen zweiten Vornamen auf „W“ ändern, jedoch betonte er oft, dass „W. “ eine gültige Abkürzung dafür sei.
- Robert W Floyd fue un prominente científico estadounidense en informática. Nacido en Nueva York, Floyd culminó bachillerato a los 14 años. Se graduó en la Universidad de Chicago en 1953 a los 17 años y como Físico en 1958. Operador de computadoras en los años 60, publicó sus primeros artículos los cuales fueron de gran influencia y fue nombrado profesor asociado en la Universidad de Carnegie Mellon. Seis años más tarde fue nombrado profesor en la Universidad de Stanford. Entre sus contribuciones se encuentran el diseño y análisis de algoritmos eficientes para encontrar el camino más corto en un grafo y para el problema de reconocimiento de frases, pero probablemente su logro más importante fue el ser pionero, con su artículo de 1965 "Assigning Meanings to Programs"", en el área de verificación de programas utilizando aserciones lógicas, donde aparece la importante noción de invariante, esencial para demostrar propiedades de programas iterativos. Floyd recibió el Premio Turing de la ACM en 1978 "por tener una clara influencia en las metodologías para la creación de software eficiente y confiable, y por haber contribuido a la fundación de las subáreas teoría del reconocimiento de frases, semántica de los lenguajes de programación, verificación automatizada de programas, síntesis automatizada de programas y análisis de algoritmos."
- Robert W Floyd fut un éminent chercheur en informatique américain. Né à New York, Floyd termina le lycée à l'âge de 14 ans. À l'Université de Chicago, il obtint une licence d'arts libéraux en 1953 (à seulement 17 ans) puis une seconde licence, de physique, en 1958. Devenu informaticien au début des années 1960, il commença à publier de nombreux articles remarqués et devint maître de conférences à l'université Carnegie Mellon à l'âge de 27 ans. Il obtint un poste de professeur à l'université Stanford six ans plus tard, sans posséder de doctorat. Ses contributions comprennent notamment un algorithme pour déterminer efficacement tous les plus courts chemins dans un graphe, connu sous le nom d'algorithme de Floyd, et des travaux sur l'analyse syntaxique. Dans un article isolé, il introduisit le concept important de diffusion d'erreur dans le traitement d'images et l'algorithme connu aujourd'hui sous le nom d'algorithme de Floyd-Steinberg. Robert Floyd fut un pionnier de la vérification de programmes dans un article de 1967 intitulé Assigning Meanings to Programs. Ce fut une contribution importante à la future logique de Hoare. Floyd a collaboré avec Donald Knuth, en particulier comme le principal relecteur de l'œuvre majeure de Knuth The Art of Computer Programming, dans laquelle il se trouve être la personne la plus citée. Floyd reçut le prix Turing en 1978 pour « avoir eu une influence significative sur les méthodologies de création de logiciels sûrs et efficaces, et pour avoir contribué à l'émergence d'importants domaines de l'informatique scientifique : la théorie de l'analyse syntaxique, la sémantique des langages de programmation, la vérification de programmes, la synthèse de programmes et l'analyse d'algorithmes ». Floyd fut marié et divorcé deux fois, et eu quatre enfants. Pendant son temps libre, il pratiquait le backgammon et la randonnée.
- ロバート・W・フロイド（Robert W. Floyd、1936年6月8日 - 2001年9月25日）は、アメリカ合衆国の情報工学者。
- Robert W. Floyd - informatyk amerykański, laureat Nagrody Turinga. W wieku 17 lat otrzymał w University of Chicago stopień bakałarza z nauk humanistycznych, w 1958 stopień bakałarza z fizyki. Na początku lat 60. podjął pracę technika komputerowego i jednocześnie rozpoczął publikowanie artykułów z dziedziny informatyki. Wkrótce, w wieku 27 lat, otrzymał pracę wykładowcy w Carnegie Mellon University, a w 1969 r. , nie mając doktoratu, został profesorem Stanford University. Do ważniejszych prac należą projektowanie i analiza efektywnych algorytmów znajdowania najkrótszej ścieżki w teorii grafów i parsowanie, ale za najistotniejsze osiągnięcie uważana jest pionierska praca w dziedzinie weryfikacji programów z użyciem twierdzeń logicznych (praca z 1967 r. "Assigning Meanings to Programs"). Floyd współpracował blisko z Donaldem Knuthem i był głównym recenzentem jego fundamentalnej książki The Art of Computer Programming - jest też najczęściej cytowanym w tej książce autorem. W 1978 r. otrzymał Nagrodę Turinga, za istotny wpływ na metodologię tworzenia efektywnego i niezawodnego oprogramowania i za udział w powstaniu ważnych poddziedzin nauk komputerowych: teorii parsowania, semantyki języków programowania, automatycznej weryfikacji programów, automatycznej syntezy programów i analizy algorytmów.
- Robert Floyd a fost un informatician american, laureat al Premiului Turing în 1978 pentru influenţa pe care a exercitat-o asupra metodologiilor de creare de software eficient şi fiabil. El a inventat tehnica de verificare a programelor folosind aserţiuni logice, în lucrarea sa Assigning Meaning to Programs.
- Роберт В Флойд — американский учёный в области теории вычислительных систем. Лауреат премии Тьюринга. Флойд сменил своё второе имя, которое начиналось на букву W, на саму букву, поэтому после него не ставится точка. Однако, он повторял, что «W. » — это приемлемая аббревиатура от «W».
- 罗伯特·W·弗洛伊德（Robert W Floyd，1936年6月8日－2001年9月25日）是一个知名的计算机科学家，1978年图灵奖得主。
|
| rdfs:comment
|
- Robert W Floyd was an eminent computer scientist. Born in New York, Floyd finished school at age 14. At the University of Chicago, he received a Bachelor's degree in liberal arts in 1953 (when still only 17) and a second Bachelor's degree in physics in 1958.
- Robert W Floyd war ein US-amerikanischer Informatiker. Er ließ seinen ursprünglichen zweiten Vornamen auf „W“ ändern, jedoch betonte er oft, dass „W. “ eine gültige Abkürzung dafür sei.
- Robert W Floyd fue un prominente científico estadounidense en informática. Nacido en Nueva York, Floyd culminó bachillerato a los 14 años. Se graduó en la Universidad de Chicago en 1953 a los 17 años y como Físico en 1958. Operador de computadoras en los años 60, publicó sus primeros artículos los cuales fueron de gran influencia y fue nombrado profesor asociado en la Universidad de Carnegie Mellon. Seis años más tarde fue nombrado profesor en la Universidad de Stanford.
- Robert W Floyd fut un éminent chercheur en informatique américain. Né à New York, Floyd termina le lycée à l'âge de 14 ans. À l'Université de Chicago, il obtint une licence d'arts libéraux en 1953 (à seulement 17 ans) puis une seconde licence, de physique, en 1958. Devenu informaticien au début des années 1960, il commença à publier de nombreux articles remarqués et devint maître de conférences à l'université Carnegie Mellon à l'âge de 27 ans.
- ロバート・W・フロイド（Robert W. Floyd、1936年6月8日 - 2001年9月25日）は、アメリカ合衆国の情報工学者。
- Robert W. Floyd - informatyk amerykański, laureat Nagrody Turinga. W wieku 17 lat otrzymał w University of Chicago stopień bakałarza z nauk humanistycznych, w 1958 stopień bakałarza z fizyki. Na początku lat 60. podjął pracę technika komputerowego i jednocześnie rozpoczął publikowanie artykułów z dziedziny informatyki. Wkrótce, w wieku 27 lat, otrzymał pracę wykładowcy w Carnegie Mellon University, a w 1969 r. , nie mając doktoratu, został profesorem Stanford University.
- Robert Floyd a fost un informatician american, laureat al Premiului Turing în 1978 pentru influenţa pe care a exercitat-o asupra metodologiilor de creare de software eficient şi fiabil. El a inventat tehnica de verificare a programelor folosind aserţiuni logice, în lucrarea sa Assigning Meaning to Programs.
- Роберт В Флойд — американский учёный в области теории вычислительных систем. Лауреат премии Тьюринга. Флойд сменил своё второе имя, которое начиналось на букву W, на саму букву, поэтому после него не ставится точка. Однако, он повторял, что «W.
- 罗伯特·W·弗洛伊德（Robert W Floyd，1936年6月8日－2001年9月25日）是一个知名的计算机科学家，1978年图灵奖得主。
|
![[RDF Data]](/statics/sw-cube.png)
