https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=David_May_%28Informatiker%29David May (Informatiker) - Versionsgeschichte2026-06-06T09:27:27ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=David_May_(Informatiker)&diff=1519298&oldid=previmported>Invisigoth67: typo2024-07-22T07:37:00Z<p>typo</p>
<p><b>Neue Seite</b></p><div>'''Michael David May''' (* [[24. Februar]] [[1951]] in [[Holmfirth]], [[Yorkshire]]) ist ein [[Vereinigtes Königreich|britischer]] [[Informatik]]er. Er ist Professor für Informatik an der [[University of Bristol]] sowie Gründer und [[Chief Technical Officer|CTO]] von [[XMOS|XMOS Semiconductor]].<br />
<br />
== Leben ==<br />
May besuchte das Queen Elizabeth Gymnasium in [[Wakefield]]. Von 1969 bis 1972 studierte er zunächst [[Mathematik]], später Informatik am [[King’s College (Cambridge)|King’s College]] der [[University of Cambridge]]. Nach seinem Studium ging er an die [[University of Warwick]] und betrieb dort Forschung im Bereich der [[Robotik]]. Für die Untersuchung von sensorischen Kontrollsystemen entwickelte er EPL, eine frühe [[Parallele Programmierung|parallele Programmiersprache]], die auf einem [[Computercluster|Cluster]] von seriell verbundenen [[Einplatinencomputer]]n implementiert war. Durch die Arbeiten machte er Bekanntschaft mit den [[Inmos]]-Gründern [[Tony Hoare]] und Iann Barron. Als Inmos 1978 gegründet wurde, wechselte May zu dieser Firma, um dort im Bereich Mikroprozessorarchitekturen zu arbeiten.<br />
<br />
1995 wurde er Professor der Informatik an der University of Bristol und war von 1995 bis 2006 Vorstand des Fachbereichs Informatik. Neben seiner Tätigkeit als Professor ist er Chief Technical Officer bei XMOS Semiconductor.<br />
<br />
May ist verheiratet und lebt mit seiner Frau in [[Bristol]]. Das Paar hat drei Söhne.<br />
<br />
== Leistungen ==<br />
May war der führende Entwickler des [[Transputer]]s sowie der Entwickler der Programmiersprache [[Occam]]. In Zusammenarbeit mit Tony Hoare und der Programming Research Group der [[University of Oxford]] entwickelte May als einer der ersten Techniken zur formalen [[Verifizierung]] des Designs von Mikroprozessoren. Des Weiteren hält er 34 Patente im Bereich der Mikroelektronik (Stand 2007).<br />
<br />
=== Mays Gesetz ===<br />
May stellte folgende Behauptung auf: „Software efficiency halves every 18 months, compensating Moore’s Law“ (die Effizienz von Software halbiert sich alle 18&nbsp;Monate und kompensiert damit das [[Mooresches Gesetz|mooresche Gesetz]]).<br />
<br />
== Auszeichnungen ==<br />
1990 erhielt May die Ehrendoktorwürde der [[University of Southampton]]. Die [[Royal Society]] nahm ihn 1991 als Mitglied auf, und 1992 wurde ihm die Patterson-Medaille des [[Institute of Physics]] verliehen.<br />
<br />
== Weblinks ==<br />
* [http://www.cs.bris.ac.uk/~dave/ Website von David May] (englisch)<br />
<br />
{{Normdaten|TYP=p|GND=1226788440|LCCN=nb2011010050|NDL=00471251|VIAF=170334308}}<br />
<br />
{{SORTIERUNG:May, David}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Erfinder]]<br />
[[Kategorie:Hochschullehrer (University of Bristol)]]<br />
[[Kategorie:Mitglied der Royal Society]]<br />
[[Kategorie:Ehrendoktor der University of Southampton]]<br />
[[Kategorie:Brite]]<br />
[[Kategorie:Geboren 1951]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=May, David<br />
|ALTERNATIVNAMEN=May, Michael David (vollständiger Name)<br />
|KURZBESCHREIBUNG=britischer Informatiker<br />
|GEBURTSDATUM=24. Februar 1951<br />
|GEBURTSORT=[[Holmfirth]]<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>Invisigoth67