MacTutor

Biography

Leslie Valiant ’ n vanhemmat olivat Leslie Valiant ja Eva Julia Ujlaki. Hän oli tuonut esille Englanti, osallistuu Tynemouth High School, North Shields. Koulu nimettiin uudelleen vuonna 1969, useita vuosia Valiantin lähdön jälkeen, jolloin se sai nimen Norham High School. Valiant suoritti kouluopintonsa Latymer Upper Schoolissa King Streetillä Hammersmithissä Lontoossa. Tämä oli (ja on edelleen) kuuluisa valikoiva itsenäinen koulu, jolla on suuri maine juontaa juurensa sen perustamisesta Edward Latymer vuonna 1624. Valmistuttuaan Latymer Upper School, hän opiskeli King ’ s College, Cambridge sitten sen jälkeen, kun palkinto hänen ensimmäisen asteen, Ba matematiikassa, hän tuli Imperial College, Lontoo opiskelemaan teoreettista tietojenkäsittelytiedettä. Kun hankintasopimuksen Diploma, Imperial College in Computer Science, Valiant meni University of Warwick, jossa hän sitoutui tutkimuksen tohtorin tietojenkäsittelytieteen kanssa Michael Stewart Paterson hänen neuvonantajanaan.
ennen tohtorin arvonimeään., Valiant vietti vuoden 1973-74 Yhdysvalloissa vierailevana apulaisprofessorina Carnegie Mellon-yliopistossa Pittsburghissa, Pennsylvaniassa. Hän sai hänen tohtorin jonka University of Warwick vuonna 1974 hänen thesis päätös menettelyt perheille Deterministic Pushdown Automata. Yhteistyössä hänen thesis neuvonantaja M. S Paterson, Valiant oli esittänyt paperin Deterministic One-counter automata, Erste Fachtagung der Gesellschaft für Informatik über Automatentheorie und Formale Sprachen Ⓣ Bonnissa vuonna 1973. Wilfried Brauer tarkasteli paperia, kirjoittaminen:-

deterministinen yhden laskurin Automaatti (doca) on deterministinen pushdown-Automaatti, jolla on yhden elementin pinoaakkoset. On helppo nähdä, että sisällyttäminen ja pätemättömyys-of-risteysalueiden ongelmia doca n ovat undecidable. Toisin kuin tämä, kirjoittajat antavat päätös menettelyn vastaavuuden doca: n ja osoittavat, että sen aika monimutkaisuus rajoittuu edellä funktio eksponentiaalinen noin neliöjuuri määrä valtioiden testatun doca: n. he arvelevat, että vastaavuus on decidable luokan kaikkien deterministic pushdown automata.

Valiant julkaisi vuonna 1974 teoksen The equivalence problem for deterministic finite-turn pushdown automata. S a Greibach huomauttaa tämän paperin tärkeydestä: –

pushdown store automaton (PDA) on äärellinen, jos on yhtenäinen sidottu siihen, kuinka monta kertaa se voi siirtyä työntämisestä (pushdown-myymälän pituuden kasvattamisesta) poppingiin (pushdown-myymälän pituuden pienentämisestä) minkä tahansa tulolaskennan aikana. Kirjoittaja vahvistetaan decidability, ekvivalenssi ongelma (kaksi konetta hyväksyä samaa kieltä?) deterministisille äärellisille kämmentietokoneille. Merkitys tulos on todiste tekniikoita käytetään sen vahvistamisessa ja se, että se on yksi tärkeimmistä läpimurtoja kohti ratkaista pitkä jäljellä arveluihin, että vastaavuus ongelma deterministinen pda: n (dpda: n) on decidable (vastaava ongelma tiedetään olevan undecidable varten nondeterministic pda: n jopa hyvin rajoitetuissa tapauksissa).

palattuaan Yhdysvalloista vuonna 1974 Valiant aloitti lectureshipin Leedsin yliopistossa, jossa hän työskenteli kaksi vuotta 1974-76. Olkaamme antaa toinen esimerkki hänen varhaisen papereita, tämä on jälleen kirjoitettu yhteistyössä ms Paterson,. Tämä vuoden 1975 tutkielma deterministinen yhden laskurin automata alkaa seuraavien kirjoittajien johdannolla:-

esitämme deterministisen yhden laskurin Automatan analyysin osoittaaksemme, että niiden vastaavuusongelma on decidable. Kaikki argumentit ja tulokset voidaan kääntää suoraan skeema theoretic termejä. Tästä seuraa, että ekvivalenssi on päätettävissä Janov-skeemoille silloinkin, kun näille sallitaan apulaskuri.

Valiant muutti Skotlantiin vuonna 1975 ryhtyäkseen luennoimaan Edinburghin yliopistossa. Vuonna 1977 hän meni naimisiin Gayle Lynne Dyckhoffin kanssa; heillä oli kaksi poikaa Gregory John Valiant ja Paul Valiant. Edinburghissa hänet ylennettiin reader vuonna 1981, mutta meni Yhdysvaltoihin vuonna 1982, kun hän oli vierailevana professorina Harvard. Myöhemmin samana vuonna hänet nimitettiin Gordon McKay Professor of Computer Science and Applied Mathematics at Harvard. Hän pysyi Harvard, vaikka hän vietti vuoden 1987-88 vierailevana stipendiaattina Oxfordin yliopistossa Englannissa. Tässä 2001 hänet nimitettiin t Jefferson Coolidge professori tietojenkäsittelytieteen ja sovelletun matematiikan Harvard School of Engineering ja Applied Sciences.
Valiantin ansiot ovat varsin huomattavat, ja hän on saanut saavutuksistaan korkeimman kunnianosoituksen. Hän oli Guggenheim-stipendiaattina 1985-86 ja sai Nevanlinna-palkinnon 1986. Hänet valittiin Royal Society of Londonin jäseneksi vuonna 1991 ja seuraavana vuonna American Association for Artificial Intelligencen jäseneksi. Hän sai Knuth-palkinnon Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory ja Institute of Electrical and Electronics Engineers Technical Committee on the Mathematical Foundations of Computing vuonna 1997. Hänet valittiin Yhdysvaltain National Academy of Sciences vuonna 2001, sai European Association for Theoretical Computer Science Award, ja Association for Computing Machinery n 2010 A M Turing Award, joka esitellään Valiant yhdistyksen vuotuinen awards juhlaillallinen San Jose, California on 4 kesäkuu 2011. Palkintoon kuuluu myös 250 000 dollarin rahapalkinto.
Emme ole kertoneet urhoollisen ansioista, joiden vuoksi hän on saanut suurimmat mahdolliset palkinnot. Voit tehdä tämän lainaamme kommentaari, joka liittyy ilmoitus Turing-palkinto (2011 artikkeleita viitattu alla lainaus, että kommentaari). Kommentaari alkaa: –

viimeisten 30 vuoden aikana Leslie Valiant on tehnyt perustavaa laatua olevia panoksia moniin teoreettisen tietojenkäsittelytieteen osa-alueisiin. Hänen työnsä on avannut uusia rajoja, käyttöön nerokas uusia käsitteitä, ja esitteli tuloksia suuri omaperäisyys, syvyys, ja kauneutta. Valiantin työ on kerta toisensa jälkeen kirjaimellisesti määritellyt tai muuttanut tietojenkäsittelytieteen tutkimusmaisemaa.

sen jälkeen kerrotaan yksityiskohtia useista aloista, joilla Valiant on tehnyt upeita lahjoituksia. Annamme muutamia lyhyitä otteita jokaisesta neljästä osa-alueesta:

  1. laskennallisen oppimisen teoria. Valiantin suurin yksittäinen panos voi olla hänen tutkielmansa ”a theory of the learnable” (1984), joka loi perustan laskennalliselle oppimisteorialle. … Valiantin” probably approximately correct ” (PAC) – malli tarjosi kauniin perustan juuri oppimiskäsitykselle.
  2. laskennan monimutkaisuus. 1970-luvun alussa laskennallinen monimutkaisuus käsitteli yleensä päätöksenteko-ongelmien vaikeutta, kuten sitä, onko kuvaajalla täydellinen sovitus vai löytääkö matkamyyjä korkeintaan tietyn pituisen reitin. … Yksi Valiantin merkittävimmistä havainnoista on, että laskuongelmat ovat paljon hienovaraisempia kuin aiemmat kokemukset antoivat ymmärtää. Laskentaongelma kysyy joidenkin kombinatoristen kohteiden lukumäärää: esimerkiksi kuinka monta täydellistä täsmäystä kuvaajassa on? Emme Kysy vain päätösongelmaa siitä, onko tuo luku myönteinen, vaan myös siitä, kuinka suuri se on. Jos päätösongelma on vaikea, niin laskuongelmakin täytyy olla, mutta Valiantin yllättävä oivallus oli, että keskustelu epäonnistuu. Hänen paperi ”the complexity of computing the permanent” (1979), hän osoitti, että vaikka on olemassa tehokas algoritmi kertoa, onko kuvaaja on täydellinen matchings, ei ole tehokasta algoritmia laskea perfect matchings (ellei P = NP), ja itse counting perfect matchings on yhtä vaikea kuin mikä tahansa laskenta ongelma. Tämä tuli shokkina laskennallisen monimutkaisuus yhteisö, joka oli tottunut ajatukseen, että päätös ongelmia olisi helposti kaapata keskeisiä ominaisuuksia ongelma.
  3. algebrallinen laskenta. Toinen keskeinen panos laskennallisen monimutkaisuus oli Valiantin teoria algebrallinen laskenta, jossa hän perusti puitteet ymmärtää, joka algebrallinen kaavoja voidaan arvioida tehokkaasti. … Hänen paperi ”täydellisyys luokat algebra” (1979), Valiant ominaista vaikeus algebrallinen laskenta kannalta kaksi perustavaa ja läheistä toimintaa lineaarinen algebra, nimittäin determinantti ja pysyvä.
  4. Rinnakkaislaskenta ja hajautettu laskenta. Laskennallisen oppimisen teorian ja laskennallisen monimutkaisuuden lisäksi kolmas laaja alue, jolla Valiant on tehnyt tärkeitä osuuksia, on rinnakkaisen ja hajautetun laskennan teoria. Hänen tulokset täällä vaihtelevat yksinkertainen, mutta tehokas ja elegantti, oivalluksia reexamining hyvin säätiöt. Esimerkki yksinkertaisesta oivalluksesta on hänen parallel routing scheme, joka on kuvattu lehdessä ”a scheme for fast parallel communication” (1982).

päätämme tämän elämäkerran siteeraamalla kokonaisuudessaan Turing Award-sitaatin johtopäätöstä: –

harvoin näkee niin silmiinpistävää syvyyden ja leveyden yhdistelmää kuin Valiantin työssä. Hän on todella sankarillinen luku teoreettisen tietojenkäsittelytieteen ja roolimalli hänen rohkeutta ja luovuutta käsitellä joitakin syvimpiä ratkaisemattomia ongelmia tieteen.

Vastaa

Sähköpostiosoitettasi ei julkaista.