| dbo:abstract
|
- ألين إيمرسون (بالإنجليزية: E. Allen Emerson) ولد في 2 يونيو 1954 عالم حاسوب أمريكي، اشتهر في مجال علم الحاسوب بمساهماته في، فاز بجائزة تورنغ في عام 2007. (ar)
- Ernest Allen Emerson (nascut el 2 de juny de 1954) és un informàtic, catedràtic a la Universitat de Texas, Austin. Es va llicenciar en matemàtiques a la Universitat de Texas, a Austin el 1976 i va obtenir el doctorat en matemàtica aplicada a la Universitat Harvard el 1981. Va guanyar el premi Turing de 2007 juntament amb Edmund M. Clarke i Joseph Sifakis per la invenció i el desenvolupament de la verificació de models.També va rebre el premi Paris Kanellakis de Teoria i Pràctica de l'ACM l'any 1998 per la verificació simbòlica de models. (ca)
- 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 , , und , und den Konferenzprogrammkomitees des und der . Er befindet sich unter den meistzitierten Informatikern auf CiteSeer. (de)
- Ernest Allen Emerson II (born June 2, 1954), better known as E. Allen Emerson, is an American computer scientist and winner of the 2007 Turing Award. He is Professor and Regents Chair Emeritus at the University of Texas at Austin, United States. Emerson is credited together with Edmund M. Clarke and Joseph Sifakis for the invention anddevelopment of model checking, a technique used in formal verification of software and hardware.His contributions to temporal logic and modal logic include the introduction of computation tree logic (CTL) and its extension CTL*, which are used in the verification of concurrent systems.He is also credited along with others for developing symbolic model checking to address combinatorial explosion that arises in many model checking algorithms. (en)
- Ernest Allen Emerson es un informático teórico más conocido haber desarrollado el método conocido como model checking, para verificar diseños de software o hardware. Emerson trabaja como profesor en la Universidad de Texas, Austin. Junto con Edmund Clarke y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery. (es)
- Allen (Ernest) Emerson, né le 2 juin 1954 à Dallas au Texas, est un chercheur en informatique, professeur à l'université du Texas à Austin aux États-Unis. (fr)
- アーネスト・アレン・エマーソン（Ernest Allen Emerson、1954年6月2日 - ）は、アメリカ合衆国の計算機科学者であり、テキサス大学オースティン校の教授。 エドムンド・クラーク、ジョセフ・シファキスと共にモデル検査の先駆的研究で2007年のチューリング賞を受賞した。1998年には、記号的モデル検査 (Symbolic Model Cheking) の研究に対してACMのパリス・カネラキス実践的理論賞を受賞した。 1976年、テキサス大学オースティン校で数学の学士号を取得し、1981年、ハーバード大学で応用数学の博士号を取得した。 1980年代にエドムンド・クラークと共同研究し、計算木論理を考案した。 ACMの会員である。 (ja)
- E. Allen Emerson (Dallas (Texas), 2 juni 1954), is een Amerikaans informaticus. Emerson heeft bijdragen geleverd op het gebied van tijdslogica, en . Samen met Edmund M. Clarke en Joseph Sifakis won hij in 2007 de Turing Award. (nl)
- Ernest Allen Emerson (ur. 2 czerwca 1954 w Dallas) – informatyk, profesor Uniwersytetu Teksańskiego w Austin, laureat Nagrody Turinga. W 1976 otrzymał stopień licencjacki w matematyce na Uniwersytecie Teksańskim, a tytuł doktora matematyki stosowanej uzyskał na Uniwersytecie Harvarda w 1981 roku. Za swoją działalność został uhonorowany w 1998, a w 2007 (wraz z Edmundem Clarke i Josephem Sifakisem) Nagrodę Turinga za wynalezienie i rozwój metod weryfikacji modelowej. (pl)
- Ernest Allen Emerson (Dallas, 2 de junho de 1954) é um informático estadunidense. Juntamente com Edmund Clarke realizou trabalho pioneiro na área de verificação de modelos. (pt)
- Ернест Аллен Емерсон (англ. Ernest Allen Emerson нар.2 червня 1954) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга.Відомий завдяки створенню методу верифікації під назвою перевірка моделей. (uk)
- 艾伦·爱默生（英語：Ernest Allen Emerson，1954年6月2日－）是一名美国德克薩斯州大學奧斯汀分校计算机科学家和荣誉教授。2007年，他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在取得的杰出贡献而获得图灵奖。 (zh)
- Эрнест Аллен Эмерсон (англ. Ernest Allen Emerson; род. 2 июня 1954, Даллас, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Техаса. (ru)
|
| dbo:academicDiscipline
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 6293 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:awards
|
- (en)
- Paris Kanellakis Award (en)
- Turing Award (en)
|
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:citizenship
| |
| dbp:doctoralAdvisor
| |
| dbp:education
|
- Harvard (en)
- (en)
- UT Austin (en)
|
| dbp:field
| |
| dbp:knownFor
|
- Model checking (en)
- (en)
- CTL* (en)
- Computation tree logic (en)
- Symbolic model checking (en)
|
| dbp:name
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workInstitution
|
- UT Austin, United States (en)
|
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- ألين إيمرسون (بالإنجليزية: E. Allen Emerson) ولد في 2 يونيو 1954 عالم حاسوب أمريكي، اشتهر في مجال علم الحاسوب بمساهماته في، فاز بجائزة تورنغ في عام 2007. (ar)
- Ernest Allen Emerson (nascut el 2 de juny de 1954) és un informàtic, catedràtic a la Universitat de Texas, Austin. Es va llicenciar en matemàtiques a la Universitat de Texas, a Austin el 1976 i va obtenir el doctorat en matemàtica aplicada a la Universitat Harvard el 1981. Va guanyar el premi Turing de 2007 juntament amb Edmund M. Clarke i Joseph Sifakis per la invenció i el desenvolupament de la verificació de models.També va rebre el premi Paris Kanellakis de Teoria i Pràctica de l'ACM l'any 1998 per la verificació simbòlica de models. (ca)
- Ernest Allen Emerson es un informático teórico más conocido haber desarrollado el método conocido como model checking, para verificar diseños de software o hardware. Emerson trabaja como profesor en la Universidad de Texas, Austin. Junto con Edmund Clarke y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery. (es)
- Allen (Ernest) Emerson, né le 2 juin 1954 à Dallas au Texas, est un chercheur en informatique, professeur à l'université du Texas à Austin aux États-Unis. (fr)
- アーネスト・アレン・エマーソン（Ernest Allen Emerson、1954年6月2日 - ）は、アメリカ合衆国の計算機科学者であり、テキサス大学オースティン校の教授。 エドムンド・クラーク、ジョセフ・シファキスと共にモデル検査の先駆的研究で2007年のチューリング賞を受賞した。1998年には、記号的モデル検査 (Symbolic Model Cheking) の研究に対してACMのパリス・カネラキス実践的理論賞を受賞した。 1976年、テキサス大学オースティン校で数学の学士号を取得し、1981年、ハーバード大学で応用数学の博士号を取得した。 1980年代にエドムンド・クラークと共同研究し、計算木論理を考案した。 ACMの会員である。 (ja)
- E. Allen Emerson (Dallas (Texas), 2 juni 1954), is een Amerikaans informaticus. Emerson heeft bijdragen geleverd op het gebied van tijdslogica, en . Samen met Edmund M. Clarke en Joseph Sifakis won hij in 2007 de Turing Award. (nl)
- Ernest Allen Emerson (ur. 2 czerwca 1954 w Dallas) – informatyk, profesor Uniwersytetu Teksańskiego w Austin, laureat Nagrody Turinga. W 1976 otrzymał stopień licencjacki w matematyce na Uniwersytecie Teksańskim, a tytuł doktora matematyki stosowanej uzyskał na Uniwersytecie Harvarda w 1981 roku. Za swoją działalność został uhonorowany w 1998, a w 2007 (wraz z Edmundem Clarke i Josephem Sifakisem) Nagrodę Turinga za wynalezienie i rozwój metod weryfikacji modelowej. (pl)
- Ernest Allen Emerson (Dallas, 2 de junho de 1954) é um informático estadunidense. Juntamente com Edmund Clarke realizou trabalho pioneiro na área de verificação de modelos. (pt)
- Ернест Аллен Емерсон (англ. Ernest Allen Emerson нар.2 червня 1954) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга.Відомий завдяки створенню методу верифікації під назвою перевірка моделей. (uk)
- 艾伦·爱默生（英語：Ernest Allen Emerson，1954年6月2日－）是一名美国德克薩斯州大學奧斯汀分校计算机科学家和荣誉教授。2007年，他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在取得的杰出贡献而获得图灵奖。 (zh)
- Эрнест Аллен Эмерсон (англ. Ernest Allen Emerson; род. 2 июня 1954, Даллас, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Техаса. (ru)
- 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. (de)
- Ernest Allen Emerson II (born June 2, 1954), better known as E. Allen Emerson, is an American computer scientist and winner of the 2007 Turing Award. He is Professor and Regents Chair Emeritus at the University of Texas at Austin, United States. (en)
|
| rdfs:label
|
- ألين إيمرسون (ar)
- E. Allen Emerson (ca)
- E. Allen Emerson (en)
- Allen Emerson (de)
- E. Allen Emerson (eo)
- E. Allen Emerson (es)
- Allen Emerson (fr)
- アレン・エマーソン (ja)
- E. Allen Emerson (nl)
- Allen Emerson (pl)
- Ernest Allen Emerson (pt)
- Эмерсон, Эрнест Аллен (ru)
- Ернест Аллен Емерсон (uk)
- 艾伦·爱默生 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:name
of | |
| is foaf:primaryTopic
of | |