11 relaţii: Dallas, Edmund Clarke, Informatică, Iosif Sifakis, Premiul Turing, Statele Unite ale Americii, Universitatea Harvard, Universitatea Texasului din Austin, 1954, 2 iunie, 2007.
Dallas
Dallas (pronunțat) este cel de-al treilea oraș ca mărime a populației din statul american, după Houston și San Antonio, respectiv al nouălea din Statele Unite.
Nou!!: E. Allen Emerson și Dallas · Vezi mai mult »
Edmund Clarke
Edmund Melson Clarke, Jr. a fost un informatician american, cunoscut pentru dezvoltarea conceptului de model checking ca metodă de verificare formală a proiectelor hardware și software.
Nou!!: E. Allen Emerson și Edmund Clarke · Vezi mai mult »
Informatică
Termenul informatică desemnează știința procesării sistematice a informației, în special a procesării cu ajutorul calculatoarelor.
Nou!!: E. Allen Emerson și Informatică · Vezi mai mult »
Iosif Sifakis
Iosif Sifakis (în, în; n. 1946, Iraklion, Grecia) este un informatician grec, laureat al Premiului Turing în 2007 împreună cu E. Allen Emerson și Edmund Clarke, pentru dezvoltarea conceptului de model checking.
Nou!!: E. Allen Emerson și Iosif Sifakis · Vezi mai mult »
Premiul Turing
Premiul A. M. Turing este o distincție decernată anual de către Association for Computing Machinery „unei persoane alese pentru contribuțiile de natură tehnică aduse comunității informatice.
Nou!!: E. Allen Emerson și Premiul Turing · Vezi mai mult »
Statele Unite ale Americii
Statele Unite ale Americii (sau abreviat S.U.A.), Statele Unite sau America (în respectiv USA, United States sau America) este numele unei republici constituționale federale, constând din 50 de state și un district federal (Districtul federal Columbia sau D.C.). Republica este situată aproape integral în continentul America de Nord, între Canada (la nord) și Mexic (la sud), respectiv Oceanul Atlantic (la est) și Oceanul Pacific (la vest).
Nou!!: E. Allen Emerson și Statele Unite ale Americii · Vezi mai mult »
Universitatea Harvard
Universitatea Harvard: ''Conant Hall'' Universitatea Harvard (în) este o universitate privată, aflată în orașul Cambridge, statul Massachusetts, Statele Unite.
Nou!!: E. Allen Emerson și Universitatea Harvard · Vezi mai mult »
Universitatea Texasului din Austin
Universitatea Texasului din Austin (în engleză: University of Texas at Austin, UT Austin, UT sau Texas) este o universitate publică de cercetare din Austin, Texas, fondată în 1883.
Nou!!: E. Allen Emerson și Universitatea Texasului din Austin · Vezi mai mult »
1954
1954 (MCMLIV) a fost un an obișnuit al calendarului gregorian, care a început într-o zi de vineri.
Nou!!: E. Allen Emerson și 1954 · Vezi mai mult »
2 iunie
---- 2 iunie este a 153-a zi a calendarului gregorian și ziua a 154-a în anii bisecți.
Nou!!: E. Allen Emerson și 2 iunie · Vezi mai mult »
2007
2007 (MMVII) a fost un an obișnuit al calendarului gregorian, care a început într-o zi de luni.
Nou!!: E. Allen Emerson și 2007 · Vezi mai mult »