Från Rilpedia

Du har inte behörighet att redigera denna sida, av följande anledning:

Du kan se och kopiera denna sidas källtext:

<noinclude>{{rpsv.from.wpsv}}</noinclude>[[Bild:Leslie Lamport.jpg|thumb|Leslie Lamport]] '''Leslie Lamport''', född [[1941]], [[datavetare]], [[matematiker]]. Välkänd för sin forskning inom distribuerade system och [[realtidssystem]] (bl.a. på grund av sin artikel ''Time, Clocks, and the Ordering of Events in a Distributed System'' från [[1978]]). Han är också [[upphovsman]] till den välkända [[TeX]]-utökningen [[LaTeX]] (förstavelsen La är alltså inte bara en referens till en viss gummiprodukt). Han själv tror dock att det han kommer att bli ihågkommen för om hundra år är hans förslag till ett nytt sätt att skriva matematiska bevis. Han menar att det nuvarande sättet knappt har ändrats på 300 år och varken är lättläst eller strukturerat. Tog [[1960]] en bachelorexamen i [[matematik]] från [[Massachusetts Institute of Technology]] och fortsatte sedan på [[Brandeis University]] där han [[1972]] doktorerade i samma ämne. Sedan dess har han jobbat på Massachusetts Computer Associates ([[1970]] - [[1977]]), SRI International ([[1977]] - [[1985]]), [[Digital Equipment Corporation]] Systems Research Center i [[Palo Alto]] ([[1985]] - [[2001]]). Sedan [[2001]] jobbar Lamport på [[Microsoft]] Research i [[Kalifornien]]. ==Externa länkar== * [http://research.microsoft.com/users/lamport/ Hemsida] * [http://research.microsoft.com/users/lamport/pubs/pubs.html Alla hans publikationer] * [http://dsonline.computer.org/0208/f/lam_print.htm Intervju i IEEE Distributed Systems] * [http://research.microsoft.com/users/lamport/pubs/lamport-latex-interview.pdf Intervju: How (La)TeX changed the face of Mathematics] från Mitteilungen der Deutschen Mathematiker-Vereinigung i [[PDF]]-format {{DEFAULTSORT:Lamport, Leslie}} [[Kategori:Datavetare]] [[Kategori:Amerikanska matematiker]] [[Kategori:Microsoft]] [[Kategori:Personer inom fri programvara och öppen källkod]] [[Kategori:TeX]] [[Kategori:Födda 1941]] [[Kategori:Män]] [[ar:ليسلي لامبورت]] [[ca:Leslie Lamport]] [[de:Leslie Lamport]] [[en:Leslie Lamport]] [[es:Leslie Lamport]] [[fr:Leslie Lamport]] [[ht:Leslie Lamport]] [[it:Leslie Lamport]] [[ja:レスリー・ランポート]] [[nl:Leslie Lamport]] [[pl:Leslie Lamport]] [[pt:Leslie Lamport]] [[ro:Leslie Lamport]] [[sr:Лесли Лампорт]]

Tillbaka till Leslie Lamport.