Cuprins
68 relaţii: Alan Kay, Alan Perlis, Alan Turing, Allen Newell, Amir Pnueli, Andrew Yao, Anii 1920 în informatică, Învățare profundă, Barbara Liskov, Bob Kahn, Butler Lampson, Cercetarea științifică reprimată în Uniunea Sovietică, Charles Antony Richard Hoare, Charles Bachman, Charles P. Thacker, Dana Scott, Douglas Engelbart, E. Allen Emerson, Edgar F. Codd, Edmund Clarke, Edsger Dijkstra, Edward Feigenbaum, ETH Zürich, Fernando Corbató, Frances Allen, Frederick Brooks, Grecia, Herbert Simon, Iosif Sifakis, Ivan Sutherland, Jim Gray, John Backus, John Cocke, John Hopcroft, John McCarthy, Juris Hartmanis, Ken Thompson, Kenneth Iverson, Kristen Nygaard, Manuel Blum, Marvin Minsky, Maurice Wilkes, Michael Rabin, Niklaus Wirth, Ole-Johan Dahl, Peter Naur, Pittsburgh, Pennsylvania, Programare funcțională, Raj Reddy, Richard Hamming, ... Extinde indicele (18 Mai Mult) »
Alan Kay
Alan Curtis Kay (n. 17 mai 1940) este un informatician american, cunoscut pentru munca sa de pionierat din domeniul programării orientate obiect și al proiectării interfețelor grafice pe bază de ferestre.
Vedea Premiul Turing și Alan Kay
Alan Perlis
Alan Jay Perlis (n. 4 1922(1922--), Pittsburgh, Pennsylvania, SUA — d. 2 1990(1990--)) a fost un informatician american, pionier în domeniul limbajelor de programare.
Vedea Premiul Turing și Alan Perlis
Alan Turing
Alan Mathison Turing, OBE, FRS a fost un informatician, matematician, logician, criptanalist, filosof și maratonist britanic.
Vedea Premiul Turing și Alan Turing
Allen Newell
Allen Newell (n. 19 martie 1927 — 19 iulie 1992) a fost un cercetător american în domeniul informaticii și științelor cognitive care a lucrat pentru corporația RAND și pentru catedra de informatică de la Universitatea Carnegie Mellon.
Vedea Premiul Turing și Allen Newell
Amir Pnueli
Amir Pnueli (în) a fost un informatician israelian, laureat al Premiului Turing în 1996, care, conform comisiei de acordare, i-a fost conferit pentru lucrări de referință ce au introdus logica temporală în informatică și pentru remarcabile contribuții în domeniul verificării programelor și sistemelor.
Vedea Premiul Turing și Amir Pnueli
Andrew Yao
Andrew Chi-Chih Yao (în, n. 24 decembrie 1946, Shanghai, China) este un reputat informatician chinez, care a demonstrat, folosindu-se de teorema minimax, ceea ce este astăzi cunoscut drept principiul lui Yao, pentru care a primit, în 2000, Premiul Turing.
Vedea Premiul Turing și Andrew Yao
Anii 1920 în informatică
* Anii 1910 în informatică — Anii 1920 în informatică — Anii 1930 în informatică Anii 1920 în informatică au însemnat o serie de evenimente noi notabile.
Vedea Premiul Turing și Anii 1920 în informatică
Învățare profundă
Învățarea profundă (cunoscută și sub numele de învățare profundă structurată sau învățare ierarhică) este parte dintr-o familie de metode de învățare automată bazată pe rețele neuronale artificiale.
Vedea Premiul Turing și Învățare profundă
Barbara Liskov
Barbara Liskov (n. Barbara Jane Huberman, 7 noiembrie 1939) este o informaticiană americană, profesoară la MIT, unde deține titlul de profesor de inginerie Ford, în cadrul departamentului de inginerie electrică și informatică din cadrul Școlii de Inginerie de la MIT.
Vedea Premiul Turing și Barbara Liskov
Bob Kahn
Robert Elliot Kahn (cunoscut sub numele de Bob Kahn, n. 23 decembrie 1938) este un informatician american, cunoscut drept coautor, împreună cu Vinton Cerf, al protocoalelor TCP și IP.
Vedea Premiul Turing și Bob Kahn
Butler Lampson
Butler Lampson (n. 1943) este un informatician american, laureat al Premiului Turing în 1992 pentru aportul adus la dezvoltarea tehnologiilor calculatoarelor personale.
Vedea Premiul Turing și Butler Lampson
Cercetarea științifică reprimată în Uniunea Sovietică
Cercetarea științifică în Uniunea Sovietică, atât în științele exacte cât și în științele umaniste, a fost plasată de la început sub stricta supraveghere a partidului comunist, alături de artă, literatură, învățământ și alte domenii ale culturii umane.
Vedea Premiul Turing și Cercetarea științifică reprimată în Uniunea Sovietică
Charles Antony Richard Hoare
Charles Antony Richard Hoare (n. 11 ianuarie 1934, Colombo, Sri Lanka) este un informatician britanic, celebru pentru inventarea, în 1960, a algoritmului de sortare quicksort, unul dintre cei mai eficienți și mai utilizați algoritmi de sortare.
Vedea Premiul Turing și Charles Antony Richard Hoare
Charles Bachman
Charles William Bachman a fost un informatician american, cunoscut pentru contribuțiile aduse în domeniul bazelor de date, contribuții care i-au adus în 1973 Premiul Turing.
Vedea Premiul Turing și Charles Bachman
Charles P. Thacker
Charles P. (Chuck) Thacker a fost un informatician american.
Vedea Premiul Turing și Charles P. Thacker
Dana Scott
Dana Stewart Scott este un matematician și informatician american, cu importante contribuții în domeniul teoriei automatelor, pentru care a primit Premiul Turing în 1976.
Vedea Premiul Turing și Dana Scott
Douglas Engelbart
Douglas Carl Engelbart a fost un inventator american și un pionier al Internetului.
Vedea Premiul Turing și Douglas Engelbart
E. Allen Emerson
Ernest Allen Emerson (n. 2 iunie 1954 la Dallas) este un informatician american, cunoscut pentru dezvoltarea conceptului de model checking, ca metodă de verificare formală a proiectelor informatice.
Vedea Premiul Turing și E. Allen Emerson
Edgar F. Codd
Edgar Frank Codd (23 august 1923, Insula Portland, Anglia – 18 aprilie 2003, Williams Island, Florida, SUA) a fost un informatician american de origine engleză care, lucrând pentru IBM, a inventat modelul relațional pentru gestiunea bazelor de date, model care constituie baza teoretică a bazelor de date relaționale.
Vedea Premiul Turing și Edgar F. Codd
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.
Vedea Premiul Turing și Edmund Clarke
Edsger Dijkstra
Edsger Wybe Dijkstra a fost un informatician neerlandez.
Vedea Premiul Turing și Edsger Dijkstra
Edward Feigenbaum
Edward Albert Feigenbaum (n. 20 ianuarie 1936, Weehawken, New Jersey, SUA) este un informatician american, cu contribuții în domeniul inteligenței artificiale.
Vedea Premiul Turing și Edward Feigenbaum
ETH Zürich
ETH Zürich, abreviere pentru Eidgenössische Technische Hochschule Zürich (Universitatea Tehnică Federală din Zürich), este o universitate tehnică-științifică din Zürich.
Vedea Premiul Turing și ETH Zürich
Fernando Corbató
Fernando José Corbató un informatician american, cunoscut ca pionier în domeniul dezvoltării sistemelor de operare cu partajare a timpului.
Vedea Premiul Turing și Fernando Corbató
Frances Allen
Frances Elizabeth Allen a fost o informaticiană americană, a cărei muncă de pionierat în domeniul compilatoarelor, optimizării codului și calculului paralel i-au adus în 2006 Premiul Turing.
Vedea Premiul Turing și Frances Allen
Frederick Brooks
Frederick Phillips Brooks, Jr. a fost un inginer software și informatician american, cunoscut ca manager al dezvoltării sistemului de operare IBM OS/360.
Vedea Premiul Turing și Frederick Brooks
Grecia
Grecia (în), oficial, Republica Elenă (în) și cunoscută încă din antichitate și sub denumirea de Elada, este o țară din Europa de Sud.
Vedea Premiul Turing și Grecia
Herbert Simon
Herbert Alexander Simon a fost un economist american, laureat al Premiului Nobel pentru economie (1978) și al Premiului Turing în 1975.
Vedea Premiul Turing și Herbert Simon
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.
Vedea Premiul Turing și Iosif Sifakis
Ivan Sutherland
Ivan Edward Sutherland (n. 1938, Hastings, Nebraska, SUA) este un informatician american, care a inventat, în 1963, Sketchpad, un program pe calculator care a anticipat interfețele grafice și modul interactiv de lucru al calculatoare, realizare ce i-a adus în 1988 Premiul Turing.
Vedea Premiul Turing și Ivan Sutherland
Jim Gray
James Nicholas Gray (cunoscut ca Jim Gray, n. 1944 — dispărut pe mare la 28 ianuarie 2007) a fost un informatician american, laureat al Premiului Turing în 1998 pentru contribuțiile sale în domeniile bazelor de date și prelucrării tranzacțiilor.
Vedea Premiul Turing și Jim Gray
John Backus
John Warner Backus a fost un informatician american, care a fost liderul echipei care a creat limbajul de programare Fortran, pentru care a primit în 1978 Premiul Turing din partea ACM.
Vedea Premiul Turing și John Backus
John Cocke
John Cocke (n. 30 mai 1925, Charlotte, Carolina de Nord, SUA — d. 16 iulie 2002, Valhalla, New York) a fost un informatician american care a adus mari contribuții în domeniile arhitecturii calculatoarelor și proiectării compilatoarelor cu optimizare.
Vedea Premiul Turing și John Cocke
John Hopcroft
John Edward Hopcroft (n. 7 octombrie 1939, Seattle, Washington, SUA) este un informatician american.
Vedea Premiul Turing și John Hopcroft
John McCarthy
John McCarthy (n. 4 septembrie 1927, Boston, Massachusetts, SUA – d. 23 octombrie 2011, Stanford, California, SUA) a fost un informatician american, laureat al Premiului Turing în 1971 pentru contribuțiile aduse în domeniul inteligenței artificiale.
Vedea Premiul Turing și John McCarthy
Juris Hartmanis
Juris Varlejs Hartmanis a fost un informatician american de origine letonă, cunoscut ca autor, împreună cu Richard Stearns, al cărții de referință intitulate Despre complexitatea computațională a algoritmilor, carte ce a pus bazele teoriei complexității algoritmilor.
Vedea Premiul Turing și Juris Hartmanis
Ken Thompson
Kenneth Lane Thompson (n. 4 februarie 1943, New Orleans, Louisiana, SUA) este un important informatician american, cunoscut pentru inventarea limbajului de programare B și pentru munca depusă în proiectele sistemelor de operare Unix și Plan9.
Vedea Premiul Turing și Ken Thompson
Kenneth Iverson
Kenneth Eugene Iverson (n.17 decembrie 1920, Camrose, Alberta, Canada - d. 19 octombrie 2004, Toronto, Canada) a fost un informatician canadian, celebru pentru dezvoltarea limbajului de programare APL în 1957.
Vedea Premiul Turing și Kenneth Iverson
Kristen Nygaard
Kristen Nygaard (n. 27 august 1926 — d. 10 august 2002) a fost un informatician norvegian, considerat a fi unul din părinții programării orientate obiect, ca fiind coautor, împreună cu Ole-Johan Dahl, al limbajelor de programare Simula, limbaje care au folosit pentru prima oară noțiunile clase, subclase, moștenire și creare dinamică de obiecte.
Vedea Premiul Turing și Kristen Nygaard
Manuel Blum
Manuel Blum (n. 26 aprilie 1938, Caracas, Venezuela) este un inginer și informatician american de origine venezuelană, laurat al Premiului Turing în 1995 pentru merite în domeniul teoriei complexității și al aplicațiilor acesteia în criptografie.
Vedea Premiul Turing și Manuel Blum
Marvin Minsky
Marvin Minsky (n. Parametru 1 lipsă.
Vedea Premiul Turing și Marvin Minsky
Maurice Wilkes
Sir Maurice Vincent Wilkes FRS (n. 26 iunie 1913, Dudley, Anglia, Regatul Unit - d. 29 noiembrie 2010) a fost un informatician britanic, laureat al Premiului Turing pentru rolul său în dezvoltarea calculatorului EDSAC.
Vedea Premiul Turing și Maurice Wilkes
Michael Rabin
Michael Oser Rabin (în, n. 1931, Breslau, Germania, astăzi Wrocław, Polonia) este un informatician israelian, laureat al Premiului Turing, pentru lucrarea Automatele finite și problema deciziei lor, publicată împreună cu Dana Scott, în care cei doi au introdus noțiunea de automat finit nedeterminist.
Vedea Premiul Turing și Michael Rabin
Niklaus Wirth
Niklaus Wirth este un informatician elvețian cunoscut ca inventator al mai multor limbaje de programare, printre care și limbajul de programare Pascal.
Vedea Premiul Turing și Niklaus Wirth
Ole-Johan Dahl
Ole-Johan Dahl (n. 12 octombrie 1931, Mandal, Norvegia — 29 iunie 2002) a fost un informatician norvegian, considerat a fi unul din părinții programării orientate obiect, ca fiind coautor, împreună cu Kristen Nygaard, al limbajelor de programare Simula, limbaje care au folosit pentru prima oară noțiunile clase, subclase, moștenire și creare dinamică de obiecte.
Vedea Premiul Turing și Ole-Johan Dahl
Peter Naur
Peter Naur (n. 25 octombrie 1928, Frederiksberg, lângă Copenhaga – 3 ianuarie 2016, Herlev, Danemarca) a fost un informatician danez, care a contribuit la dezvoltarea limbajului de programare ALGOL 60 și autor al formei Backus-Naur, sintaxă folosită astăzi în descrierea limbajelor de programare.
Vedea Premiul Turing și Peter Naur
Pittsburgh, Pennsylvania
Pittsburgh este un oraș și reședința comitatului Allegheny, statul,. Este de asemenea centul urban al zonei metropolitane cunoscute ca Pittsburgh Metro Area sau Tri-State Metro Area, care cuprinde comitate din statele Pennsylvania, și.
Vedea Premiul Turing și Pittsburgh, Pennsylvania
Programare funcțională
Programarea funcțională este o paradigmă de programare care tratează calculul ca evaluare de funcții matematice și evită starea și datele mutabile.
Vedea Premiul Turing și Programare funcțională
Raj Reddy
Dabbala Rajagopal Reddy (numit și Raj Reddy; n. 13 iunie 1937, Katur, Andhra Pradesh, India) este un informatician indian, expert în robotică și inteligență artificială, laureat al Premiul Turing în 1994 împreună cu Edward Feigenbaum.
Vedea Premiul Turing și Raj Reddy
Richard Hamming
Richard Wesley Hamming (n. 11 februarie 1915, Chicago, SUA, d. 7 ianuarie 1998, Monterey, California, SUA) a fost un matematician american a cărui muncă a avut implicații majore în informatică și telecomunicații.
Vedea Premiul Turing și Richard Hamming
Richard Karp
Richard Manning Karp este un specialist în calculatoare electronice cunoscut pentru cercetările sale în domeniul algoritmilor, pentru care a primit Premiul Turing în 1985.
Vedea Premiul Turing și Richard Karp
Richard Stearns
Richard Edwin Stearns (n. 5 iulie 1936) este un informatician american, autor, împreună cu Juris Hartmanis, al lucrării Despre complexitatea computațională a algoritmilor, lucrare care a pus bazele teoriei complexității algoritmilor și care a adus autorilor săi Premiul Turing în 1993.
Vedea Premiul Turing și Richard Stearns
Robert Floyd
Robert Floyd (n. 8 iunie 1936, New York, SUA — d. 25 septembrie 2001) a fost un informatician american, laureat al Premiului Turing în 1978 pentru influența pe care a exercitat-o asupra metodologiilor de creare de software eficient și fiabil.
Vedea Premiul Turing și Robert Floyd
Robert Tarjan
Robert Endre Tarjan este un informatician american, cu numeroase realizări în domeniul structurilor de date și algoritmilor.
Vedea Premiul Turing și Robert Tarjan
Robin Milner
Robin Milner a fost un informatician englez, cunoscut pentru dezvoltarea sistemului de demonstrare a teoremelor LCF, pentru care a inventat limbajul funcțional ML, în care a introdus pentru prima oară tiparea implicită și un sistem type-safe de tratare a excepțiilor.
Vedea Premiul Turing și Robin Milner
Ronald Rivest
Ronald Lorin Rivest un criptograf american, profesor de informatică la MIT, în cadrul Departamentului de Inginerie Electrică și Informatică.
Vedea Premiul Turing și Ronald Rivest
Stephen Cook
Stephen Arthur Cook (n. 14 decembrie 1939, Buffalo, New York, SUA) este un informatician american, care a formalizat noțiunea de NP-completitudine într-o lucrare scrisă în 1971 și intitulată Complexitatea procedurilor de demonstrare a teoremelor, în care a demonstrat că problema satisfacerii expresiilor booleene este NP completă.
Vedea Premiul Turing și Stephen Cook
Teoria computației
mașini Turing. Mașinile Turing sunt frecvent utilizate ca modele teoretice de calcul. În și în matematică, teoria computației este ramura care se ocupă cu cât de eficient pot fi rezolvate problemele pe un, folosind un algoritm.
Vedea Premiul Turing și Teoria computației
Tim Berners-Lee
Sir Timothy John (Tim) Berners-Lee, cunoscut și ca TimBL, este un programator englez, inventator al World Wide Web-ului.
Vedea Premiul Turing și Tim Berners-Lee
Universitatea Cornell
Universitatea Cornell este o universitate ce face parte din Ivy League.
Vedea Premiul Turing și Universitatea Cornell
Universitatea Oslo
Universitatea din Oslo (în; în) este o universitate publică de cercetare situată în Oslo, Norvegia.
Vedea Premiul Turing și Universitatea Oslo
Universitatea Stanford
Universitatea Stanford (denumirea oficială în) este o universitate privată din California, Statele Unite, fondată de Leland Stanford în memoria fiului său, Leland Stanford Junior, care este astăzi considerată a fi una dintre cele mai prestigioase din lume.
Vedea Premiul Turing și Universitatea Stanford
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.
Vedea Premiul Turing și Universitatea Texasului din Austin
Vinton Cerf
Vinton Gray Cerf este un informatician american, adesea considerat părintele Internetului, deoarece, împreună cu Bob Kahn, a efectuat cercetări asupra protocoalelor de interconectare a rețelelor bazate pe pachete și a proiectat suita de protocoale TCP/IP.
Vedea Premiul Turing și Vinton Cerf
William Kahan
William Morton Kahan (n. 5 iunie 1933, Toronto, Canada) este un matematician și informatician canadian, cunoscut pentru contribuțiile aduse în domeniul analizei numerice.
Vedea Premiul Turing și William Kahan
Yoshua Bengio
Yoshua Bengio este un informatician canadian cunoscut pentru activitatea sa în domeniile rețelelor neuronale artificiale și învățării profunde.
Vedea Premiul Turing și Yoshua Bengio
1932 în informatică
* 1931 în informatică — 1932 în informatică — 1933 în informatică 1932 în informatică a însemnat o serie de evenimente noi notabile.
Vedea Premiul Turing și 1932 în informatică
1966 în informatică
* 1965 în informatică — 1966 în informatică — 1967 în informatică 1966 în informatică a însemnat o serie de evenimente noi notabile.
Vedea Premiul Turing și 1966 în informatică
Cunoscut ca Turing Award.