British computer scientists

Andrew James Herbert , OBE , FREng (geb. 1954) ist ein britischer Informatiker und war zuvor Vorsitzender von Microsoft Research für die Region Europa, Naher Osten und Afrika.

Andrew Charles Harter (geboren am 5. April 1961 in Yorkshire , England) ist ein britischer Informatiker , der vor allem als Gründer von RealVNC bekannt ist , wo er bis März 2018 als CEO tätig war.

Brian R. Gaines (geb. ca. 1938 ) ist ein britischer Wissenschaftler, Ingenieur und emeritierter Professor an der Universität von Calgary .

Christopher Michael Bishop (* 7. April 1959) ist ein britischer Informatiker. Er ist Microsoft Technical Fellow und Direktor von Microsoft Research AI4Science .

Conor McBride (* 18. Februar 1973) ist Dozent am Institut für Informatik der University of Strathclyde .

Sami Erol Gelenbe (* 22. August 1945 in Istanbul) ist ein türkisch-französischer Informatiker , Elektronikingenieur und angewandter Mathematiker .

Gordon David Plotkin (* 9. September 1946) ist ein theoretischer Informatiker an der School of Informatics der Universität Edinburgh .

Ian Lewis (geboren 1961) ist ein amerikanischer Informatiker, der Direktor für Infrastrukturinvestitionen an der Universität Cambridge ist und zuvor von 2005 bis 2014 Direktor des Rechenzentrums der Universität Cambridge

Ian Pratt ist ein britischer Informatiker. Er war der Hauptarchitekt des Open-Source- Projekts Xen und Vorsitzender von Xen.org. Außerdem gründete er XenSource , das Unternehmen hinter dem Xen-Projekt.

James Harold Davenport (* 26. September 1953) ist ein britischer Informatiker , der auf dem Gebiet der Computeralgebra arbeitet .

Jape ist ein konfigurierbarer, grafischer Beweisassistent , der ursprünglich von Richard Bornat an der Queen Mary University of London und Bernard Sufrin an der Universität Oxford entwickelt wurde .

John Bates ist ein britischer Informatiker und Unternehmer. Er hat mehrere Technologieunternehmen in Großbritannien gegründet. Bates ist CEO des ECM / DMS -Anbieters Doxis.

Keith Leonard Clark (* 29. März 1943) ist ein britischer Informatiker. Er ist emeritierter Professor am Department of Computing des Imperial College London , England .

Les Hatton (geboren am 5. Februar 1948) ist ein in Großbritannien geborener Informatiker und Mathematiker, der vor allem für seine Arbeiten über Fehler und Schwachstellen in softwaregesteuerten Systemen bekannt ist.

Leslie Gabriel Valiant FRS (* 28. März 1949) ist ein britisch-amerikanischer Informatiker und Computertheoretiker . Sein Vater war Chemieingenieur, seine Mutter Übersetzerin. Derzeit ist er T.

Liz Bacon FRSE (* 27. September 1963) ist eine britische Informatikerin und führende Persönlichkeit im Hochschulwesen.

Ludmila ( Lucy ) Ilieva Kuncheva ist eine bulgarisch-britische Informatikerin, die für ihre Forschung im Bereich Mustererkennung und maschinelles Lernen , insbesondere für Systeme zur Kombination von Ergebnissen mehrerer

Mark Burgess (geboren am 19. Februar 1966) ist ein englischer unabhängiger Forscher und Autor, ehemaliger Professor am Oslo University College in Norwegen und Schöpfer der CFEngine -Software und des Unternehmens , der

Mark James Handley FRS ist seit 2003 Professor für vernetzte Systeme am Department of Computer Science des University College London , wo er die Forschungsgruppe Netzwerke leitet.

Martin Edward Newell ist ein in Großbritannien geborener Informatiker, der sich auf Computergrafik spezialisiert hat . Er ist der Schöpfer der Utah-Teekanne , eines der Benchmark-Modelle im Bereich 3D-Rendering .

Michael Burrows , FRS (geb. 1963), ist ein britischer Informatiker, einer der Entwickler von AltaVista und Mitautor der ersten Veröffentlichung zur Burrows-Wheeler-Transformation .

Michael J. T. Guy (* 1. April 1943) ist ein britischer Informatiker und Mathematiker .

Michael John Wooldridge FRS (* 26. August 1966) ist Professor für Informatik an der Universität Oxford .

Michael Frederic Cowlishaw ist Mitglied der Royal Academy of Engineering und war zeitweise Gastprofessor am Fachbereich Informatik der Universität Warwick .

Patrick John Hayes (* 21. August 1944) ist ein britischer Informatiker , der in den Vereinigten Staaten lebt und arbeitet.

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 .

Robert Anthony Kowalski (* 15. Mai 1941) ist ein amerikanisch-britischer Logiker und Informatiker , dessen Forschung sich mit der Entwicklung sowohl nutzerorientierter Computermodelle als auch computergestützter Modelle

Arthur John Robin Gorell Milner (13. Januar 1934 – 20. März 2010) war ein britischer Informatiker und Gewinner des ACM Turing Award 1991.

Ron Morrison war Leiter des Fachbereichs Informatik an der Universität St. Andrews, wo er an Programmiersprachen arbeitete , S-algol entwickelte und an PS-algol und Napier88 mitwirkte . Er promovierte 1979 in St. Andrews.

Samson Abramsky (* 12. März 1953) ist ein britischer Informatiker und Professor für Informatik am University College London .

Simon Thompson ist Informatiker , Autor und emeritierter Professor der Universität Kent mit dem Schwerpunkt Logik und Informatik.

Sophie Mary Wilson (geb. Roger Wilson ; * Juni 1957) ist eine englische Informatikerin und Mitentwicklerin des Befehlssatzes für die ARM-Architektur .

Steve Vickers (geb. 1952 oder 1953) ist ein britischer Mathematiker und Informatiker .

Susan Elizabeth Sentance OBE ist eine britische Informatikerin, Pädagogin und Leiterin des Raspberry Pi Computing Education Research Centre , einer gemeinsamen Initiative der Raspberry Pi Foundation und der Universität