Emerson, Ernest Allen

Lessico del XXI Secolo (2012)

Emerson, Ernest Allen


Emerson, Ernest Allen. – Informatico statunitense (n. Dallas 1954). Professore di informatica all’università di Austin, in Texas, nel 2007 è stato insignito – insieme a Edmund Clarke e Joseph Sifakis – del premio Turing conferito dall'ACM (Association for computing machinery), per avere sviluppato la tecnica del model checking, un metodo per valutare in maniera automatica il design di software e hardware, ampiamente utilizzata nell’ambito industriale. Gli algoritmi affinati dai tre ricercatori consentono di verificare le proprietà e di individuare eventuali errori commessi nella fase di progettazione di prodotti come processori o protocolli di comunicazione.

Vocabolario
allenare¹
allenare1 allenare1 v. tr. [der. di lena] (io alléno, ecc.). – Dare con l’esercizio lena, attitudine, capacità, vigore, soprattutto per affrontare determinate prove o svolgere determinate attività; in partic., dirigere l’attività di preparazione...
allenatóre
allenatore allenatóre s. m. [der. di allenare1]. – 1. (f. -trice) Tecnico specializzato preposto alla direzione degli allenamenti di un atleta o di una squadra, con il compito di svilupparne le possibilità e capacità fisiche, di curarne...