| 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)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)