MacTutor

biografie

Leslie Valiant ‘ s ouders waren Leslie Valiant en Eva Julia Ujlaki. Hij werd opgevoed in Engeland, het bijwonen van Tynemouth High School, North Shields. Deze school werd hernoemd in 1969, enkele jaren nadat Valiant vertrok, toen het bekend werd als Norham High School. Valiant voltooide zijn schoolopleiding aan Latymer Upper School, in King Street, Hammersmith, Londen. Dit was (en is nog steeds) een beroemde selectieve onafhankelijke school met een grote reputatie die teruggaat tot de oprichting door Edward Latymer in 1624. Na zijn afstuderen aan de Latymer Upper School, studeerde hij aan King ‘ s College, Cambridge en na de toekenning van zijn eerste graad, een BA in de wiskunde, ging hij naar Imperial College, Londen om theoretische informatica te studeren. Na de toekenning van het Diploma van het Imperial College in Computer Science, Valiant ging naar de Universiteit van Warwick, waar hij ondernam onderzoek voor een doctoraat in computer science met Michael Stewart Paterson als zijn adviseur.
vóór de toekenning van zijn Ph. D. Valiant bracht het jaar 1973-74 door in de Verenigde Staten als gastdocent aan de Carnegie Mellon University in Pittsburgh, Pennsylvania. In 1974 promoveerde hij aan de Universiteit van Warwick op zijn proefschrift Decision Procedures for Families of Deterministic Pushdown Automata. In samenwerking met zijn thesis advisor m S Paterson had Valiant in 1973 het artikel deterministische éénteller automaten gepresenteerd aan de Erste Fachtagung der Gesellschaft für Informatik über Automatentheorie und Formale Sprachen Ⓣ in Bonn. Wilfried Brauer recenseerde de paper, schrijven:-

een deterministische één-teller automaat (doca) is een deterministische pushdown automaat met een één-element stack alfabet. Het is duidelijk dat de Insluitings-en nietigheidsproblemen van Doca ‘ s onbeslist zijn. In tegenstelling hiermee geven de auteurs een beslissingsprocedure voor de equivalentie van doca ’s en tonen ze aan dat de tijdscomplexiteit hierboven wordt begrensd door een functie die exponentieel is in ongeveer de vierkantswortel van het aantal toestanden van de geteste doca’ s. Valiant publiceerde in 1974 het artikel the equivalence problem for deterministic finite-turn pushdown automata. S a Greibach wijst op het belang van dit artikel:-

een pushdown store automaton (pda) is eindige-draai als er een uniforme binding is op het aantal keren dat het kan overschakelen van pushdown (het vergroten van de lengte van de pushdown store) naar popping (het verminderen van de pushdown store lengte) tijdens elke berekening op elke input. De auteur stelt de beslissingsbaarheid vast van het equivalentieprobleem (accepteren twee machines dezelfde taal?) voor deterministische eindige-draai pda ‘ s. De betekenis van het resultaat ligt in het bewijs technieken die worden gebruikt bij de vaststelling van het in het feit dat het vertegenwoordigt één van de belangrijkste doorbraken in de richting van de afwikkeling van de lang gekoesterde vermoeden dat de gelijkwaardigheid probleem voor deterministische pda ’s (dpda s) is decidable (het bijbehorende probleem is bekend onbeslisbare voor niet-deterministische pda’ s, zelfs in zeer beperkte gevallen).Na zijn terugkeer uit de Verenigde Staten in 1974, volgde Valiant een lectoraat aan de Universiteit van Leeds, waar hij twee jaar werkte van 1974 tot 1976. Laten we nog een voorbeeld geven van zijn vroege papers, deze opnieuw geschreven in samenwerking met M S Paterson,. Dit artikel deterministische één-tellerautomaten uit 1975 begint met de volgende inleiding van de auteurs: –

we presenteren een analyse van deterministische één-tellerautomaten om aan te tonen dat het equivalentieprobleem voor hen decideerbaar is. Al onze argumenten en resultaten kunnen direct worden vertaald in schematheoretische termen. Het gevolg dat dan volgt is dat equivalentie is beslisbaar voor Janov schema ‘ s, zelfs wanneer deze zijn toegestaan een hulp teller.In 1975 verhuisde Valiant naar Schotland om daar les te geven aan de Universiteit van Edinburgh. In 1977 trouwde hij met Gayle Lynne Dyckhoff; zij kregen twee zonen Gregory John Valiant en Paul a Valiant. In Edinburgh werd hij gepromoveerd tot lezer in 1981, maar ging naar de Verenigde Staten in 1982 toen hij een visiting professor aan Harvard. Later dat jaar werd hij benoemd tot Gordon McKay Professor of Computer Science and Applied Mathematics aan Harvard. Hij bleef aan Harvard, hoewel hij het jaar 1987-88 doorbracht als visiting fellow aan de Universiteit van Oxford in Engeland. In 2001 werd hij benoemd tot T Jefferson Coolidge Professor of Computer Science and Applied Mathematics aan de Harvard School of Engineering and Applied Sciences.De bijdragen die Valiant heeft geleverd zijn opmerkelijk en hij heeft de hoogste onderscheidingen ontvangen voor zijn prestaties. Hij was een Guggenheim Fellow in 1985-1986 en ontving de Nevanlinna Prize in 1986. Hij werd verkozen tot fellow van de Royal Society of London in 1991 en, in het jaar daarop, tot fellow van de American Association for Artificial Intelligence. Hij kreeg de Knuthprijs van de Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory en het Institute of Electrical and Electronics Engineers Technical Committee on the Mathematical Foundations of Computing in 1997. Hij werd gekozen voor de United States National Academy of Sciences in 2001, ontving de European Association for Theoretical Computer Science Award, en de Association for Computing Machinery ‘ s 2010 A M Turing Award die zal worden uitgereikt aan Valiant op de jaarlijkse awards banket van de Association in San Jose, Californië op 4 juni 2011. De prijs omvat ook een geldprijs van $250.000.
we hebben geen uitleg gegeven over de bijdragen van Valiant die ertoe hebben geleid dat hij de hoogst mogelijke onderscheidingen ontving. Om dit te doen citeren we uit het commentaar dat bij de aankondiging van de Turing Award (de 2011 artikelen waarnaar hieronder wordt verwezen citeren uit dat commentaar). Het commentaar begint:-

in de afgelopen 30 jaar heeft Leslie Valiant fundamentele bijdragen geleverd aan vele aspecten van de theoretische informatica. Zijn werk heeft nieuwe grenzen geopend, ingenieuze nieuwe concepten geïntroduceerd en resultaten van grote originaliteit, diepte en schoonheid gepresenteerd. Keer op keer heeft het werk van Valiant het computerwetenschappelijk onderzoekslandschap letterlijk gedefinieerd of getransformeerd.

vervolgens gaat het over de details van verschillende gebieden waaraan Valiant een bedwelmende bijdrage heeft geleverd. We geven enkele korte fragmenten uit elk van de vier gebieden:

  1. computationele leertheorie. Valiant ’s grootste bijdrage kan zijn paper ‘a theory of the learnable’ (1984) zijn, die de basis legde voor de computationele leertheorie. … Valiant ‘s” probably approximately correct ” (PAC) model leverde een mooie basis voor het concept van leren.
  2. complexiteit van de opsomming. In de vroege jaren 1970, computationele complexiteit over het algemeen behandeld met de moeilijkheid van beslissingen problemen, zoals de vraag of een grafiek heeft een perfecte matching of dat een reizende verkoper een route van maximaal een bepaalde lengte kan vinden. … Een van Valiant ‘ s meest opmerkelijke ontdekkingen is dat telproblemen veel subtieler zijn dan eerdere ervaringen suggereren. Een telprobleem vraagt om het aantal van sommige combinatorische objecten: bijvoorbeeld, hoeveel perfecte matchings zijn er in een grafiek? We vragen ons niet alleen af of dat aantal positief is, maar ook hoe groot het is. Als het beslissingsprobleem moeilijk is, dan moet het telprobleem ook zo zijn, maar Valiant ‘ s verrassende realisatie was dat het omgekeerde faalt. In zijn artikel “the complexity of computing the permanent” (1979) toonde hij aan dat hoewel er een efficiënt algoritme is om te bepalen of een grafiek een perfecte matching heeft, er geen efficiënt algoritme is om perfecte matchings te tellen (tenzij P = NP), en in feite is het tellen van perfecte matchings net zo moeilijk als elk telprobleem. Dit kwam als een schok voor de computationele complexiteitsgemeenschap, die gewend was geraakt aan het idee dat beslissingsproblemen gemakkelijk de belangrijkste kenmerken van een probleem zouden vastleggen.
  3. algebraïsche berekening. Een andere belangrijke bijdrage aan de computationele complexiteit was Valiant ‘ s theorie van de algebraïsche berekening, waarin hij een raamwerk creëerde om te begrijpen welke algebraïsche formules efficiënt kunnen worden geëvalueerd. … In zijn artikel “Volledigheidsklassen in de algebra” (1979) karakteriseerde Valiant de moeilijkheid van de algebraïsche berekening in termen van twee fundamentele en nauw verwante functies van de lineaire algebra, namelijk de determinant en de permanente.
  4. Parallel en gedistribueerd computergebruik. Naast computationele leertheorie en computationele complexiteit, is een derde breed gebied waarin Valiant belangrijke bijdragen heeft geleverd de theorie van parallelle en gedistribueerde computing. Zijn resultaten variëren van eenvoudige, maar krachtige en elegante inzichten tot het opnieuw onderzoeken van de fundamenten. Een voorbeeld van een eenvoudig inzicht is zijn parallel routing schema, beschreven in de paper “a scheme for fast parallel communication” (1982).

we sluiten deze biografie af met een volledige citatie van de Turing Award:-

zelden ziet men zo ‘ n opvallende combinatie van diepte en breedte als in Valiants werk. Hij is echt een heldhaftige figuur in de theoretische informatica en een rolmodel voor zijn moed en creativiteit bij het aanpakken van enkele van de diepste onopgeloste problemen in de wetenschap.

Geef een antwoord

Het e-mailadres wordt niet gepubliceerd.