Il Premio Turing del 2010 ha premiato Leslie Valiant per la sua influenza trasformativa sull'informatica teorica, un campo che ha plasmato attraverso lo sviluppo di modelli fondamentali per l'apprendimento e l'elaborazione parallela. Nato a Budapest nel 1949, ha trascorso la sua carriera stabilendo i limiti matematici di ciò che i computer possono realizzare, colmando il divario tra logica astratta e complessa computazione del mondo reale.
Fondamenti accademici e prima carriera
Valiant ha proseguito gli studi superiori presso il King's College di Cambridge, l'Imperial College di Londra e l'Università di Warwick, dove ha conseguito il dottorato nel 1974. La sua prima attività di insegnamento ha incluso ruoli presso la Carnegie Mellon University dal 1973 al 1974 e l'Università di Leeds tra il 1974 e il 1976. Successivamente ha ricoperto un incarico presso l'Università di Edimburgo dal 1976 al 1982, prima di entrare a far parte della facoltà dell'Università di Harvard, dove attualmente ricopre la cattedra T. Jefferson Coolidge di Informatica e Matematica Applicata.
Contributi alla teoria della complessità
La sua ricerca sulla complessità computazionale ha portato all'introduzione della completezza #P, un quadro progettato per spiegare perché specifici problemi di enumerazione e affidabilità siano intrinsecamente difficili da risolvere. Questo lavoro ha permesso ai ricercatori di classificare i problemi di conteggio in base alla loro trattabilità computazionale. Inoltre, ha sviluppato un algoritmo per l'analisi sintattica libera da contesto che rimane l'approccio noto più rapido in termini asintotici.
Modelli di apprendimento e sistemi paralleli
Valiant ha creato il modello PAC (Probably Approximately Correct), che ha fornito una base teorica per l'apprendimento automatico definendo la fattibilità dell'apprendimento induttivo. Nel campo dell'architettura dei sistemi, ha introdotto il modello BSP (Bulk Synchronous Parallel). Questo quadro offre una struttura per il calcolo parallelo e distribuito, analoga al modello di von Neumann, ed è stato adottato da sistemi tra cui MapReduce, Pregel e vari progetti open source come Hadoop e Spark.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Onorificenze e incarichi professionali
Cittadino sia del Regno Unito che degli Stati Uniti, Valiant è membro eletto della National Academy of Sciences, della Royal Society e dell'American Academy of Arts and Sciences. Oltre al Premio Turing, la sua carriera è stata segnata dal Premio Nevanlinna nel 1986, dal Premio Knuth nel 1997 e dal Premio EATCS nel 2008. È inoltre membro dell'Association for the Advancement of Artificial Intelligence.
Informazioni rapide
- Nato: 1949, Budapest - Posizione attuale: Professore all'Università di Harvard - Campi principali: Informatica, Matematica - Formazione: Università di Warwick, Imperial College London, King's College - Riconoscimento notevole: Premio Turing (2010) - Cittadinanza: Regno Unito, Stati Uniti
Domande frequenti
### Qual è il contributo principale del modello PAC?
Ha introdotto una base teorica per l'apprendimento automatico conciliando la fattibilità computazionale con le regole logiche da apprendere.
### Perché il modello BSP è significativo?
Funziona come un modello influente per le architetture di calcolo parallelo e distribuito, consentendo l'elaborazione di dati su larga scala.
