Wikipedia · einfach zusammengefasst · Stand
David May (Informatiker)
Er ist Professor für Informatik an der University of Bristol sowie Gründer und CTO von XMOS Semiconductor. ... mooresche Gesetz). Auszeichnungen. Bearbeiten. 1990 …
Inhalt5 Abschnitte
Forschung und Bedeutung
Michael David May (* 24. Februar 1951 in Holmfirth, Yorkshire) ist ein britischer Informatiker. Er ist Professor für Informatik an der University of Bristol sowie Gründer und Chief Technical Officer (CTO) von XMOS Semiconductor.
May war der führende Entwickler des Transputers und entwickelte die Programmiersprache Occam. Außerdem gehörte er zu den ersten Forschern, die Techniken zur formalen Verifizierung des Designs von Mikroprozessoren entwickelten. Dabei arbeitete er mit Tony Hoare und der Programming Research Group der University of Oxford zusammen. Im Bereich der Mikroelektronik hält May 34 Patente (Stand 2007).
Ausbildung und frühe Forschung
May besuchte das Queen Elizabeth Gymnasium in Wakefield. Von 1969 bis 1972 studierte er am King’s College der University of Cambridge zunächst Mathematik und später Informatik.
Anschließend forschte er an der University of Warwick im Bereich der Robotik. Für die Untersuchung sensorischer Kontrollsysteme entwickelte er EPL, eine frühe parallele Programmiersprache. Sie wurde auf einem Cluster aus seriell verbundenen Einplatinencomputern implementiert. Durch diese Arbeiten lernte May die späteren Inmos-Gründer Tony Hoare und Iann Barron kennen. Nach der Gründung von Inmos im Jahr 1978 wechselte er zu dem Unternehmen und arbeitete dort an Mikroprozessorarchitekturen.
Akademische und berufliche Tätigkeit
1995 wurde May Professor für Informatik an der University of Bristol. Von 1995 bis 2006 leitete er dort den Fachbereich Informatik. Neben seiner Professur ist er Chief Technical Officer bei XMOS Semiconductor.
May ist verheiratet und lebt mit seiner Frau in Bristol. Das Paar hat drei Söhne.
Mays Gesetz
May formulierte die Behauptung: „Software efficiency halves every 18 months, compensating Moore’s Law“. Auf Deutsch bedeutet dies: Die Effizienz von Software halbiert sich alle 18 Monate und kompensiert damit das mooresche Gesetz.
Auszeichnungen
1990 erhielt May die Ehrendoktorwürde der University of Southampton. 1991 nahm ihn die Royal Society als Mitglied auf. 1992 wurde ihm die Patterson-Medaille des Institute of Physics verliehen.