This HTML5 document contains 51 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

wikipedia-de:Allen_Emerson

foaf:primaryTopic

dbpedia-de:Allen_Emerson

Subject Item

dbpedia-de:Allen_Emerson

rdf:type

wikidata:Q215627 wikidata:Q24229398 owl:Thing schema:Person dbo:Agent foaf:Person dbo:Person n24:Agent n24:NaturalPerson wikidata:Q5

rdfs:label

Allen Emerson

rdfs:comment

Ernest Allen Emerson (* 2. Juni 1954 in Dallas) ist ein amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Emerson ist Informatik-Professor an der University of Texas at Austin. Dort machte er 1976 auch seinen Bachelor in Mathematik, und daraufhin 1981 an der Harvard University seinen Ph.D. in angewandter Mathematik.

owl:sameAs

wikidata:Q92821 n7:_Allen_Emerson n8:_Allen_Emerson dbpedia-wikidata:Q92821 n19:40252505 dbpedia-fr:Allen_Emerson dbpedia-pt:Ernest_Allen_Emerson n26:_Allen_Emerson dbpedia-ja:アレン・エマーソン n28:03mgvcs

foaf:name

Allen Emerson Emerson, Allen

foaf:nick

Emerson, Ernest Allen

dc:description

US-amerikanischer Informatiker und Turing-Preisträger

foaf:givenName

Allen

dct:subject

category-de:Informatiker n16: category-de:US-Amerikaner category-de:Turing-Preisträger category-de:Geboren_1954 category-de:Mann

foaf:surname

Emerson

foaf:isPrimaryTopicOf

wikipedia-de:Allen_Emerson

dbo:birthPlace

dbpedia-de:Dallas

dbo:birthDate

1954-06-02

dbo:wikiPageID

3300443

dbo:wikiPageRevisionID

148676310

dbo:wikiPageExternalLink

n20:

prop-de:kurzbeschreibung

US-amerikanischer Informatiker und Turing-Preisträger

prop-de:typ

p

prov:wasDerivedFrom

n13:148676310

dbo:abstract

Ernest Allen Emerson (* 2. Juni 1954 in Dallas) ist ein amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Emerson ist Informatik-Professor an der University of Texas at Austin. Dort machte er 1976 auch seinen Bachelor in Mathematik, und daraufhin 1981 an der Harvard University seinen Ph.D. in angewandter Mathematik. In Harvard schlug er 1981 zusammen mit seinem Doktorvater Clarke in einem Paper die Modellprüfung zur Verifikation endlicher 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. 2007 erhielt Emerson zusammen mit Clarke und dem unabhängig von den beiden ebenfalls an der Modellprüfung arbeitenden Joseph Sifakis den Turing Award.Daneben hat Emerson zahlreiche weitere Auszeichnungen erhalten, darunter der Best Software Paper Award der Hawaii International Systems Sciences Conference 1985, der 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. Er ist 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 befindet sich unter den meistzitierten Informatikern auf CiteSeer.

dbo:individualisedGnd

1028534892

dbo:lccn

nb/99/152470

dbo:viafId

40252505

Subject Item

n25:_Allen_Emerson

dbo:wikiPageRedirects

dbpedia-de:Allen_Emerson

Subject Item

dbpedia-de:Ernest_Allen_Emerson

dbo:wikiPageRedirects

dbpedia-de:Allen_Emerson

Subject Item

dbpedia-de:Emerson

dbo:wikiPageDisambiguates

dbpedia-de:Allen_Emerson