MacTutor

Biografi

Leslie Valiants foreldre var Leslie Valiant og Eva Julia Ujlaki. Han vokste opp I England, delta Tynemouth High School, North Shields. Denne skolen ble omdøpt i 1969, flere år etter At Valiant forlot, da Den ble kjent Som Norham High School. Valiant fullførte sin utdannelse Ved Latymer Upper School I King Street I Hammersmith i London. Dette var (og er fortsatt) en berømt selektiv uavhengig skole med et godt rykte som dateres tilbake Til Grunnleggelsen Av Edward Latymer i 1624. Etter eksamen Fra Latymer Upper School, studerte han Ved King ‘ S College, Cambridge deretter, etter tildeling av sin første grad, EN BA i matematikk, gikk Han Imperial College, London for å studere teoretisk informatikk. Etter tildeling Av Diploma Of Imperial College I Computer Science, Valiant gikk Til University Of Warwick, hvor han foretok forskning for en doktorgrad i informatikk Med Michael Stewart Paterson som sin rådgiver.
Før tildelingen av Sin Ph. D. Valiant tilbrakte året 1973-74 I Usa som Besøkende Assisterende professor Ved Carnegie Mellon University I Pittsburgh, Pennsylvania. Han ble tildelt sin doktorgrad Ved University Of Warwick i 1974 for sin avhandling Decision Procedures For Families Of Deterministic Pushdown Automata. I samarbeid med sin avhandlingsrådgiver M S Paterson hadde Valiant presentert papiret Deterministisk en-mot-automata Til Den Første Fachtagung der gesellschaft fü informatik ü Automatentheorie und Formale Sprachen Ⓣ i Bonn i 1973. Wilfried Brauer anmeldt papiret, skriving:-

en deterministisk one-counter automat (doca) er en deterministisk pushdown automat har en ett-element stabel alfabetet. Det er lett å se at inkluderingen og nullity-of-intersection problemer for doca er undecidable. I motsetning til dette gir forfatterne en beslutningsprosedyre for ekvivalens av doca og viser at tidskompleksiteten er begrenset over av en funksjon eksponentiell i omtrent kvadratroten av antall tilstander av de testede doca-ene.

Valiant publiserte artikkelen the equivalens problem for deterministic finite-turn pushdown automata i 1974. S A Greibach påpeker viktigheten av dette papiret: –

en pushdown butikkautomat (pda) er endelig-sving hvis det er en jevn bundet på antall ganger det kan bytte fra å skyve (øke lengden på pushdown butikken) til popping (redusere pushdown butikken lengde) under noen beregning på noen inngang. Forfatteren etablerer løsningen av ekvivalensproblemet(aksepterer to maskiner det samme språket ?) for deterministisk endelig-slå pda. Betydningen av resultatet ligger i bevisteknikkene som brukes til å etablere det, og i det faktum at det representerer et av de store gjennombruddene mot å avgjøre den lange utestående formodningen om at ekvivalensproblemet for deterministiske pda-er (dpda-er) er avgjørbart (det tilsvarende problemet er kjent for å være ubestridelig for ikke-deterministiske pda-er selv i svært begrensede tilfeller).

Etter hjemkomsten fra Usa i 1974, Valiant tok opp et foreleser ved Leeds University hvor han jobbet for de to årene 1974-76. La oss gi et annet eksempel på hans tidlige papirer, dette igjen skrevet i samarbeid Med Ms Paterson,. Dette 1975-papiret deterministisk en-mot-automat begynner med følgende forfatteres introduksjon: –

vi presenterer en analyse av deterministisk en-mot-automat for å vise at ekvivalensproblemet for dem er avgjort. Alle våre argumenter og resultater kan oversettes direkte til skjema teoretiske termer. Konsekvensen som følger er at ekvivalens er avgjørende for Janov-skjemaer, selv når disse er tillatt en hjelpeteller.

Valiant flyttet til Skottland i 1975 for å ta opp et foreleser ved University Of Edinburgh. I 1977 giftet Han Seg Med Gayle Lynne Dyckhoff; de fikk to sønner, Gregory John Valiant og Paul A Valiant. I Edinburgh ble han forfremmet til reader i 1981, men dro til Usa i 1982 da han var gjesteprofessor Ved Harvard. Senere samme år ble Han Utnevnt Til Gordon McKay Professor I Informatikk og Anvendt Matematikk Ved Harvard. Han forble Ved Harvard, selv om han tilbrakte året 1987-88 som gjest stipendiat Ved University Of Oxford I England. I 2001 ble Han Utnevnt T Jefferson Coolidge Professor I Informatikk og Anvendt Matematikk I Harvard School Of Engineering and Applied Sciences.
Bidragene Som Valiant har gjort er ganske bemerkelsesverdige, og han har mottatt den høyeste utmerkelsen for sine prestasjoner. Han var Guggenheim Fellow i 1985-86 og mottok Nevanlinna-Prisen I 1986. Han ble valgt til medlem Av Royal Society Of London i 1991, og året etter ble han medlem Av American Association For Artificial Intelligence. Han ble tildelt Knuth-Prisen fra Association For Computing Machinery Special Interest Group On Algorithms and Computation Theory og Institute Of Electrical And Electronics Engineers Technical Committee on The Mathematical Foundations of Computing i 1997. Han ble valgt til United States National Academy of Sciences i 2001, mottok European Association For Theoretical Computer Science Award, Og Association for Computing Machinery ‘ s 2010 A M Turing Award som vil bli presentert Til Valiant på Foreningens årlige awards bankett i San Jose, California den 4. juni 2011. Prisen inkluderer også en pengepremie på $250.000.
Vi har ikke forklart Bidragene Fra Valiant som har ført til at Han mottok høyest mulige priser. For å gjøre dette siterer vi fra kommentaren som følger med kunngjøringen Av Turing-Prisen (2011-artiklene referert nedenfor sitat fra den kommentaren). Kommentaren begynner: –

I løpet Av de siste 30 årene Har Leslie Valiant gjort grunnleggende bidrag til mange aspekter av teoretisk datavitenskap. Hans arbeid har åpnet nye grenser, introdusert geniale nye konsepter og presentert resultater av stor originalitet, dybde og skjønnhet. Gang på gang har Valiants arbeid bokstavelig talt definert eller forvandlet datavitenskapsforskningslandskapet.

Det går da på å gi detaljer om flere områder Som Valiant har gjort fantastiske bidrag til. Vi gir noen korte utdrag fra hvert av fire områder:

  1. Beregningsorientert læringsteori. Valiants største enkeltbidrag kan være hans papir’ a theory of the learnable ‘ (1984), som lagde grunnlaget for beregningsmessig læringsteori. … Valiants» sannsynligvis omtrent riktig » (PAC) modell ga vakre grunnlag for selve begrepet læring.
  2. Kompleksitet av opplisting. På begynnelsen av 1970-tallet behandlet beregningskompleksitet generelt vanskeligheten med beslutningsproblemer, for eksempel om en graf har en perfekt matching eller om en reisende selger kan finne en rute på det meste en viss lengde. … En Av Valiants mest bemerkelsesverdige funn er at telleproblemer er mye mer subtile enn tidligere erfaring foreslått. En telling problem ber om antall noen kombinatoriske objekter: for eksempel, hvor mange perfekte matchings er det i en graf? Vi spør ikke bare beslutningsproblemet om dette tallet er positivt, men også hvor stort det er. Hvis beslutningsproblemet er vanskelig, må telleproblemet også være, men Valiants overraskende realisering var at den omvendte mislykkes. I hans papir «the complexity of computing the permanent» (1979) viste han at selv om det er en effektiv algoritme for å fortelle om en graf har en perfekt matching, er det ingen effektiv algoritme for å telle perfekte matchinger (med MINDRE P = NP), og faktisk teller perfekte matchinger er like vanskelig som noe telleproblem. Dette kom som et sjokk for beregningskompleksitetssamfunnet, som hadde blitt vant til ideen om at beslutningsproblemer lett ville fange hovedtrekkene til et problem.
  3. Algebraisk beregning. Et annet viktig bidrag til beregningskompleksitet var Valiants teori om algebraisk beregning, der han etablerte et rammeverk for å forstå hvilke algebraiske formler som kan evalueres effektivt. … I sin artikkel «Fullstendighetsklasser i algebra» (1979) karakteriserte Valiant vanskeligheten med algebraisk beregning i form av to grunnleggende og nært beslektede funksjoner fra lineær algebra, nemlig determinant og permanent.
  4. Parallell og distribuert databehandling. I tillegg til beregningsorientert læringsteori og beregningsorientert kompleksitet, er Et tredje bredt område Der Valiant har gjort viktige bidrag teorien om parallell og distribuert databehandling. Hans resultater her spenner fra enkel, men kraftig og elegant, innsikt til reexamining selve grunnlaget. Et eksempel på en enkel innsikt er hans parallel routing scheme, beskrevet i papiret «a scheme for fast parallel communication» (1982).

vi avslutter denne biografien med Å sitere I sin helhet Konklusjonen I Turing – prisen: –

Sjelden ser man en så slående kombinasjon av dybde og bredde som I Valiants arbeid. Han er virkelig en heroisk figur i teoretisk datavitenskap og en rollemodell for sitt mot og kreativitet i å ta opp noen av de dypeste uløste problemene i vitenskapen.

Legg igjen en kommentar

Din e-postadresse vil ikke bli publisert.