https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Allen_EmersonAllen Emerson - Versionsgeschichte2026-06-03T08:41:26ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Allen_Emerson&diff=1247023&oldid=previmported>Afus199620 am 18. Januar 2025 um 21:13 Uhr2025-01-18T21:13:03Z<p></p>
<p><b>Neue Seite</b></p><div>[[Datei:E-allen-emerson.jpg|mini|Allen Emerson, 2022]]<br />
'''Ernest Allen Emerson''' (* [[2. Juni]] [[1954]] in [[Dallas]]; † [[15. Oktober]] [[2024]]<ref>{{Internetquelle |url=https://www.acm.org/ |titel=Association for Computing Machinery |sprache=en |abruf=2024-10-18}}</ref>) war ein [[Vereinigte Staaten|US-amerikanischer]] [[Informatik]]er und [[Turing Award|Turing-Preisträger]]. Zusammen mit [[Edmund M. Clarke]] leistete er Pionierarbeit auf dem Gebiet der [[Modellprüfung]].<ref name="ACM2008">{{Internetquelle |autor=Staci R. Norman |url=http://www.cs.utexas.edu/news-events/news/2008/acm-turing-award-honors-founders-automatic-verification-technology-enables-fas |titel=ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs |werk=Department of Computer Science |hrsg=The University of Texas at Austin |datum=2008-04-02 |archiv-url=https://web.archive.org/web/20160305014254/https://www.cs.utexas.edu/news-events/news/2008/acm-turing-award-honors-founders-automatic-verification-technology-enables-fas |abruf=2024-10-19}}</ref> Emerson war Informatik-Professor an der [[University of Texas at Austin]].<br />
<br />
Dort machte er 1976 auch seinen [[Bachelor]] in Mathematik, und daraufhin 1981 an der [[Harvard University]] seinen [[Ph.D.]] in [[Angewandte Mathematik|angewandter Mathematik]].<ref name="ACM199_03_26">[[Association for Computing Machinery]]: {{Webarchiv|text=''Kanellakis Award'' |url=http://www.acm.org/announcements/kanellakis99.html |wayback=20110605194419 }}</ref><br />
<br />
In Harvard schlug er 1981 zusammen mit seinem Doktorvater Clarke in einem Paper die Modellprüfung zur Verifikation endlicher [[Parallele Programmierung|paralleler Programme]] vor, inzwischen ein anerkanntes und weit verwendetes Verfahren. Seither trug er zu deren Verbesserung und Vereinfachung bei und arbeitete auch auf den Gebieten der automatischen Programmsynthese, Verifizierung parametrisierter Systeme und Datenstruktur-Beweisen. Er machte auch signifikante Beiträge zur Theorie und Anwendung der temporalen Logik.<br />
<br />
2007 erhielt Emerson zusammen mit Clarke und dem unabhängig von den beiden ebenfalls an der Modellprüfung arbeitenden [[Joseph Sifakis]] den [[Turing Award]].<br />
Daneben hat Emerson zahlreiche weitere Auszeichnungen erhalten, darunter der ''Best Software Paper Award'' der ''Hawaii International Systems Sciences Conference'' 1985, der [[Association for Computing Machinery|ACM]] ''[[Paris-Kanellakis-Preis]]'' 1998, der [[Carnegie Mellon University]] ''Allen Newell Award for Research Excellence'' 1999 und der [[IEEE]] ''Symposium on Logic in Computer Science Test-of-Time Award'' 2006.<ref name="emerson">[http://www.cs.utexas.edu/~emerson/ E. Allen Emersons Homepage an der University of Texas at Austin]</ref><br />
<br />
Er war Mitglied im redaktionellen Beirat führender Zeitschriften aus dem Bereich der formalen Methoden, darunter [[Transactions on Computational Logic]], [[Formal Aspects of Computing]], und [[Formal Methods in Systems Design]], und den Konferenzprogrammkomitees des [[International Symposium on Automated Technology for Verification and Analysis]] und der [[International Conference on Verification, Model Checking, and Abstract Interpretation]]. Er ist einer der meistzitierten Informatiker auf [[CiteSeer]].<ref name="emerson" /><ref>[http://citeseer.ist.psu.edu/mostcited.html Most cited authors in Computer Science – August 2006 (CiteSeer.Continuity)]</ref><br />
<br />
== Weblinks ==<br />
* [http://www.cs.utexas.edu/~emerson/ E. Allen Emersons Website an der University of Texas at Austin] (englisch)<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Navigationsleiste Träger des Turing-Awards}}<br />
<br />
{{Normdaten|TYP=p|GND=1028534892|LCCN=nb/99/152470|VIAF=40252505}}<br />
<br />
{{SORTIERUNG:Emerson, Allen}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Träger des Turing Award]]<br />
[[Kategorie:Absolvent der Harvard University]]<br />
[[Kategorie:Hochschullehrer (University of Texas at Austin)]]<br />
[[Kategorie:US-Amerikaner]]<br />
[[Kategorie:Geboren 1954]]<br />
[[Kategorie:Gestorben 2024]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Emerson, Allen<br />
|ALTERNATIVNAMEN=Emerson, Ernest Allen<br />
|KURZBESCHREIBUNG=US-amerikanischer Informatiker und Turing-Preisträger<br />
|GEBURTSDATUM=2. Juni 1954<br />
|GEBURTSORT=[[Dallas]], Texas, USA<br />
|STERBEDATUM=15. Oktober 2024<br />
|STERBEORT=<br />
}}</div>imported>Afus199620