5 vzťahy: Edmund Clarke, Joseph Sifakis, Turingova cena, Zoznam informatických článkov/E, 2. jún.
Edmund Clarke
Edmund Melson Clarke (* 27. júl 1945, Newport News, Virgínia, USA† 22. december 2020) bol americký informatik známy najmä vďaka svojmu podielu na vývoji metódy overovania modelov (model checking).
Nový!!: Ernest Allen Emerson a Edmund Clarke · Pozrieť viac »
Joseph Sifakis
Joseph Sifakis (* 26. december 1946, Irakleio, Kréta, Grécko) je grécky informatik v súčasnosti žijúci vo Francúzsku.
Nový!!: Ernest Allen Emerson a Joseph Sifakis · Pozrieť viac »
Turingova cena
Cena A. M. Turinga (angl. ACM A.M. Turing Award) je ocenenie, udeľované každoročne Asociáciou výpočtovej techniky (ACM) jednotlivcom za ich technický prínos počítačovej komunite.
Nový!!: Ernest Allen Emerson a Turingova cena · Pozrieť viac »
Zoznam informatických článkov/E
Tento index bol automaticky vygenerovaný podľa tejto kategorizácie.
Nový!!: Ernest Allen Emerson a Zoznam informatických článkov/E · Pozrieť viac »
2. jún
Žiadny popis.
Nový!!: Ernest Allen Emerson a 2. jún · Pozrieť viac »