Start Logga In Skriv Artikel Om Oss
Vad söker du?
Allt om 'Leslie Lamport'

Leslie Lamport

Leslie Lamport, datalog, 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 DistributedSystem från år1978). 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 år1960 en bachelorexamen i matematik från MIT och fortsatte sedan på Brandeis University där han år1972 doktorerade i samma ämne. Sedan dess har han jobbat på Massachusetts Computer Associates (år1970 - år1977), SRI International (år1977 - år1985), Digital Equipment Corporation Systems Research Center i Palo Alto (år1985 - år2001). Sedan år2001 jobbar Lamport på Microsoft Research i Kalifornien.

Böcker:

  • LaTeX - A Document Preparation System

Länkar:

  • från Mitteilungen der Deutschen Mathematiker-Vereinigung i PDF-format

Redigera?

Artikeln skriven 2009-01-17 av Learning4sharing

Inga kategorier för denna artikel än...

Vi behhöver hjälp att kategorisera våra artiklar. Kan du skriva ett nyckelord för denna artikel? Du kan skriva upp till 3 olika nyckelord för denna artikel, vi uppskattar din hjälp!

Skriv nyckelord som du tycker beskriver denna artikel på ett bra sätt. Du kan ange 3 olika nyckelord för denna artikel, max 20 tecken per nyckelord.

  1. Lägg till fler
    Skriv in svaret på frågan: 9+4

Intresserad av fler artiklar?

George Orwell
Usenet
Scott Adams
Norr
Söder
Livsmedel
Kommunfullmäktige
Etrusker
Kritiska dagar

Senaste sökningarna

VOR har fått 1353 sökningar. Den senaste gjordes 2022-12-03 10:06:21.

pseudonym har fått 1241 sökningar. Den senaste gjordes 2022-12-03 09:46:15.

konkurrens har fått 1490 sökningar. Den senaste gjordes 2022-12-03 09:45:32.

lex specialis har fått 1403 sökningar. Den senaste gjordes 2022-12-03 09:25:56.

kalvin har fått 1217 sökningar. Den senaste gjordes 2022-12-03 09:18:53.

mustaschporr har fått 1264 sökningar. Den senaste gjordes 2022-12-03 09:18:15.

olympiska spel har fått 1560 sökningar. Den senaste gjordes 2022-12-03 09:15:40.

hålkort har fått 974 sökningar. Den senaste gjordes 2022-12-03 08:53:47.

nlp har fått 1249 sökningar. Den senaste gjordes 2022-12-03 08:15:47.

buddhism har fått 1485 sökningar. Den senaste gjordes 2022-12-03 08:14:29.

vänsterytter har fått 1034 sökningar. Den senaste gjordes 2022-12-03 08:07:50.

keynesianism har fått 1795 sökningar. Den senaste gjordes 2022-12-03 07:25:44.

Designed by: template world
Learning4sharing.nu
All Rights Reserved. 1.58 SEK

Logga in

Välkommen att redigera och skriva nya artiklar!

Ingent Konto?

Skaffa konto för att redigera och skapa nya ariklar Nytt Konto.

Ny Användare

Välkommen att redigera och skriva nya artiklar! Skapa konto nedan.


Ett verifieringsmail kommer att skickas till din E-post som du måste öppna och verifiera din E-post med

Lägg till artikel

Du är inte inloggad.

Logga In eller Skapa konto.