Ernest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin, USA. He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for their pioneering work on Model checking. He is also the recipient of the 1998 ACM Paris Kanellakis Award Theory and Practice Award for Symbolic Model Checking.

PropertyValue
dbpprop:abstract
  • Ernest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin, USA. He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for their pioneering work on Model checking. He is also the recipient of the 1998 ACM Paris Kanellakis Award Theory and Practice Award for Symbolic Model Checking. He received his BSc degree in mathematics from the University of Texas, Austin in 1976 and his PhD degree in applied mathematics at Harvard University in 1981.
  • Ernest Allen Emerson 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 in Harvard 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 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 Konferenzprogrammkommitees 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.
  • 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. Emerson, junto con Edmund M. Clarke, Jr. y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery.
  • E. Allen Emerson is een Amerikaans informaticus. Emerson heeft bijdragen geleverd op het gebied van tijdslogica, model checking en formele verificatie. Samen met Edmund M. Clarke en Joseph Sifakis won hij in 2007 de Turing Award.
  • Ernest Allen Emerson este un informatician american, cunoscut pentru dezvoltarea conceptului de model checking, ca metodă de verificare formală a proiectelor informatice. A primit Premiul Turing în 2007, împreună cu Edmund Clarke şi Joseph Sifakis.
  • Эрнест Аллен Эмерсон — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Техаса.
dbpprop:reference
rdfs:comment
  • Ernest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin, USA. He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for their pioneering work on Model checking. He is also the recipient of the 1998 ACM Paris Kanellakis Award Theory and Practice Award for Symbolic Model Checking.
  • Ernest Allen Emerson 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 in Harvard seinen Ph. D. in angewandter Mathematik.
  • 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. Emerson, junto con Edmund M. Clarke, Jr. y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery.
  • E. Allen Emerson is een Amerikaans informaticus. Emerson heeft bijdragen geleverd op het gebied van tijdslogica, model checking en formele verificatie. Samen met Edmund M. Clarke en Joseph Sifakis won hij in 2007 de Turing Award.
  • Ernest Allen Emerson este un informatician american, cunoscut pentru dezvoltarea conceptului de model checking, ca metodă de verificare formală a proiectelor informatice. A primit Premiul Turing în 2007, împreună cu Edmund Clarke şi Joseph Sifakis.
  • Эрнест Аллен Эмерсон — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Техаса.
rdfs:label
  • E. Allen Emerson
  • Allen Emerson
  • E. Allen Emerson
  • E. Allen Emerson
  • E. Allen Emerson
  • Эмерсон, Эрнест Аллен
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of