Andrew Wilson Appel (geb. 1960) ist Eugene Higgins Professor für Informatik an der Princeton University .
GutAmerican computer scientists
Kategorie
Programming language researchers
26 Artikel
Conor McBride (* 18. Februar 1973) ist Dozent am Institut für Informatik der University of Strathclyde .
Gut20th-century British scientists
Dana Stewart Scott (* 11. Oktober 1932) ist ein US-amerikanischer Logiker und emeritierter Hillman University Professor für Informatik , Philosophie und Mathematische Logik an der Carnegie Mellon University .
Exzellent20th-century American engineers
Daniel Paul Friedman (geb. 1944) ist emeritierter Professor für Informatik an der Indiana University in Bloomington, Indiana .
SolideIndiana University faculty
David Sayre (2. März 1924 – 23. Februar 2012) war ein US-amerikanischer Wissenschaftler, der als Pionier der direkten Methoden zur Proteinkristallographie und der Diffraktionsmikroskopie (auch kohärente
Exzellent20th-century American mathematicians
Donald T. Sannella ist Professor für Informatik im Laboratory for Foundations of Computer Science an der School of Informatics der Universität Edinburgh , Schottland.
GutAcademic journal editors
Edsger Wybe Dijkstra ( / ˈd aɪ k s t rə / DYKE -strə ; Niederländisch : ⓘ (11. Mai 1930 – 6. August 2002) war ein niederländischerInformatiker,Programmierer,MathematikerundWissenschaftsjournalist.
Exzellent20th-century Dutch engineers
Frances Elizabeth Allen (4. August 1932 – 4. August 2020) war eine US-amerikanische Informatikerin und Pionierin auf dem Gebiet der Compileroptimierung .
Gut20th-century American scientists
Gordon David Plotkin (* 9. September 1946) ist ein theoretischer Informatiker an der School of Informatics der Universität Edinburgh .
GutAcademics of the University of Edinburgh
Isaac Robert „ Ike “ Nassi (geb. 1949 in Brooklyn , New York ) ist Gründer und ehemaliger CTO und Vorsitzender von TidalScale, Inc.
GutAmerican chief executives in technology
John Clifford Mitchell ist Professor für Informatik und (ehrenhalber) für Elektrotechnik an der Stanford University . Er hat auf dem Gebiet der Programmiersprachentheorie und der Computersicherheit publiziert .
ExzellentAmerican computer scientists
John Charles Reynolds (1. Juni 1935 – 28. April 2013) war ein US-amerikanischer Informatiker .
GutAcademics of Imperial College London
John Launchbury ist ein amerikanisch - britischer Informatiker und derzeit Chief Scientist bei Galois, Inc.
GutAlumni of the University of Glasgow
Krzysztof R. Apt (* 26. Dezember 1949 in Katowice, Polen ) ist ein polnischer Informatiker. Er promovierte1974in Warschau in mathematischer Logik .
GutFormal methods people
Nachfolgend eine Liste von Forschern auf dem Gebiet der Programmiersprachentheorie , des Designs , der Implementierung und verwandter Bereiche.
GutDynamic lists
Maarten Herman van Emden (31. Dezember 1937 – 4. Januar 2023) war ein niederländisch-kanadischer Mathematiker und Informatiker, dessen Forschung auf dem Gebiet der Grundlagen der logischen Programmierung und der
Exzellent20th-century Dutch mathematicians
Niklaus Emil Wirth ( IPA : / vɛrt / ) (15. Februar 1934 – 1. Januar 2024) war ein Schweizer Informatiker .
GutAcademic staff of ETH Zurich
Olivier Danvy ist ein französischer Informatiker, der sich auf Programmiersprachen , partielle Auswertung und Fortsetzungen spezialisiert hat .
GutAcademic staff of Aarhus University
Per Brinch Hansen (13. November 1938 – 31. Juli 2007) war ein dänisch - amerikanischer Informatiker, der für seine Arbeiten auf dem Gebiet der Betriebssysteme , der nebenläufigen Programmierung sowie des parallelen und
ExzellentAmerican computer scientists
Peter Henry Salus (1938 – 15. Mai 2026 ) war Linguist , Informatiker , Technikhistoriker , Autor in verschiedenen Fachgebieten und Herausgeber von Büchern und Zeitschriften.
ExzellentAmerican computer scientists
Peter A. Wegner (20. August 1932 – 27. Juli 2017) war von 1969 bis 1999 Professor für Informatik an der Brown University.
GutAlumni of the University of London
Philip Lee Wadler (* 8. April 1956) ist ein in Großbritannien lebender US- amerikanischer Informatiker, der für seine Beiträge zum Entwurf von Programmiersprachen und zur Typentheorie bekannt ist .
ExzellentAcademics of the University of Edinburgh
Arthur John Robin Gorell Milner (13. Januar 1934 – 20. März 2010) war ein britischer Informatiker und Gewinner des ACM Turing Award 1991.
GutAcademics of City, University of London
Robin John Popplestone (9. Dezember 1938 in Bristol – 14. April 2004 in Glasgow ) war ein Pionier auf den Gebieten der künstlichen Intelligenz und Robotik .
Gut20th-century British sailors
Simon Thompson ist Informatiker , Autor und emeritierter Professor der Universität Kent mit dem Schwerpunkt Logik und Informatik.
Gut20th-century British scientists
Stephanie Weirich ( / ˈ w aɪ ə r ɪ k / WYRE -ik ) ist eine US-amerikanische Informatikerin, die sich auf Typentheorie , Typinferenz , abhängige Typen und funktionale Programmierung spezialisiert hat .
Exzellent21st-century American women