<?xml version="1.0" encoding="UTF-8"?>
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:wx="http://ilps.science.uva.nl/WikiXML/wx" xml:lang="nl" lang="nl">
<head>
<title>Leslie Lamport</title>
<meta name="wx_namespace" content="0"/>
<meta name="wx_pagename" content="Leslie_Lamport"/>
<meta name="wx_page_id" content="129273"/>
</head>
<body>
<div id="wx_article">
<wx:section level="1" title="Leslie Lamport" id="wxsec1"><h1 class="pagetitle" id="wx1">Leslie Lamport</h1>

<div class="wx_image" wx:align="right" wx:thumb="thumb" id="wx2"><a href="/wnl/Afbeelding:Leslie_Lamport.jpg" title="Leslie Lamport" wx:linktype="image" wx:pagename="Afbeelding:Leslie_Lamport.jpg" id="wx3"><img src="/wnl/Afbeelding:Leslie_Lamport.jpg" alt="Leslie Lamport" width="150" id="wx4"/></a> 

<div class="thumbcaption" id="wx5">
<p id="wx6">Leslie Lamport</p>
</div>
</div>

<p id="wx7">Dr. <b id="wx8">Leslie Lamport</b> is een <a href="/wnl/Verenigde_Staten" title="Verenigde Staten" wx:linktype="known" wx:pagename="Verenigde_Staten" wx:page_id="1838" id="wx9">Amerikaanse</a> <a href="/wnl/Computerwetenschap" title="Computerwetenschap" wx:linktype="known" wx:pagename="Computerwetenschap" wx:page_id="174400" id="wx10">computerwetenschapper</a>.</p>

<p id="wx11">Lamport ontving een <a href="/wnl/Bachelor" title="Bachelor" wx:linktype="known" wx:pagename="Bachelor" wx:page_id="72434" id="wx12">B.S.</a> in de <a href="/wnl/Wiskunde" title="Wiskunde" wx:linktype="known" wx:pagename="Wiskunde" wx:page_id="1065100" id="wx13">wiskunde</a> aan het <a href="/wnl/Massachusetts_Institute_of_Technology" title="Massachusetts Institute of Technology" wx:linktype="known" wx:pagename="Massachusetts_Institute_of_Technology" wx:page_id="42952" id="wx14">Massachusetts Institute of Technology</a> in 1960. Hij behaalde ook een <a href="/wnl/Master" title="Master" wx:linktype="known" wx:pagename="Master" wx:page_id="82552" id="wx15">M.A.</a> en een <a href="/wnl/Doctor_of_Philosophy" title="Doctor of Philosophy" wx:linktype="known" wx:pagename="Doctor_of_Philosophy" wx:page_id="85147" id="wx16">Ph.D.</a> in 1963 en 1972, beide in de wiskunde.</p>

<p id="wx17">Als computerwetenschapper is Dr. Lamport onder andere bekend om zijn werk aan de <b id="wx18">Temporal Logic of Actions</b> of TLA wat resulteerde in het <a href="/wnl/Algoritme_van_Lamport" title="Algoritme van Lamport" wx:linktype="known" wx:pagename="Algoritme_van_Lamport" wx:page_id="129085" id="wx19">algoritme van Lamport</a>, een <a href="/wnl/Algoritme" title="Algoritme" wx:linktype="known" wx:pagename="Algoritme" wx:page_id="9" id="wx20">algoritme</a> dat de relatie beschrijft tussen gebeurtenissen in een <a href="/wnl/Gedistribueerd_systeem" class="new" title="Gedistribueerd systeem" wx:linktype="unknown" wx:pagename="Gedistribueerd_systeem" id="wx21">gedistribueerd systeem</a> met behulp van een logische klok.</p>

<p id="wx22">Buiten zijn werk aan dit algoritme is Dr. Lamport het best bekend als initieel ontwerper van <a href="/wnl/LaTeX" title="LaTeX" wx:linktype="known" wx:pagename="LaTeX" wx:page_id="17337" id="wx23">LaTeX</a>.</p>

<p id="wx24">Momenteel werkt hij voor <a href="/wnl/Microsoft" title="Microsoft" wx:linktype="known" wx:pagename="Microsoft" wx:page_id="1086" id="wx25">Microsoft</a>.</p>

<a id="Externe_links" name="Externe_links"/>
<wx:section level="2" title="Externe links" id="wxsec2"><h2 id="wx26">Externe links</h2>

<ul id="wx27">
<li id="wx28"><a href="http://lamport.org/" class="external text" wx:linktype="external" rel="nofollow" id="wx29">Website van Dr. Leslie Lamport</a></li>
</ul>

<p id="wx30"><br id="wx31"/>
</p>

<wx:template id="wx_t1" pagename="Sjabloon:Bron" page_id="799312"/>
<div style="position:absolute; visibility:hidden; height:0; margin-top:1em;" id="wx32"><a id="Bronnen.2C_noten_en.2Fof_referenties" name="Bronnen.2C_noten_en.2Fof_referenties"/>
<wx:section level="2" title="Bronnen, noten en/of referenties" id="wxsec3"><h2 id="wx33">Bronnen, noten en/of referenties</h2>
</wx:section></div>

<table class="toccolours" style="font-size:85%; margin-top:1em; margin-bottom:-0.5em; border: 1px solid #aaa; padding: 5px; clear: both;" width="100%" id="wx34">
<tr id="wx35">
<td id="wx36"><b id="wx37">Bronnen, noten en/of referenties:</b> </td>
</tr>

<tr id="wx38">
<td id="wx39">
<p id="wx40">Artikel over <a href="http://en.wikipedia.org/wiki/Leslie_Lamport" class="external text" wx:linktype="external" rel="nofollow" id="wx41">Leslie Lamport (Wikipedia)</a> op de Engelstalige Wikipedia.</p>
</td>
</tr>
</table>

<wx:templateend start="wx_t1"/>
</wx:section></wx:section></div>
<div id="wx_categorylinks">
<a href="/wnl/index.php?title=Speciaal:Categories&amp;article=Leslie_Lamport" title="Speciaal:Categories" wx:linktype="known" wx:pagename="Speciaal:Categories" id="wx42">Categorie</a>: <span dir="ltr" id="wx43"><a href="/wnl/Categorie:Amerikaans_wiskundige" title="Categorie:Amerikaans wiskundige" wx:linktype="known" wx:pagename="Categorie:Amerikaans_wiskundige" wx:page_id="525439" id="wx44">Amerikaans wiskundige</a></span></div>
<div id="wx_languagelinks">
in andere talen: <a href="http://ca.wikipedia.org/wiki/Leslie_Lamport" class="external" wx:linktype="interwiki" wx:pagename="ca:Leslie_Lamport" id="wx45">Català</a> | <a href="http://de.wikipedia.org/wiki/Leslie_Lamport" class="external" wx:linktype="interwiki" wx:pagename="de:Leslie_Lamport" id="wx46">Deutsch</a> | <a href="http://en.wikipedia.org/wiki/Leslie_Lamport" class="external" wx:linktype="interwiki" wx:pagename="en:Leslie_Lamport" id="wx47">English</a> | <a href="http://es.wikipedia.org/wiki/Leslie_Lamport" class="external" wx:linktype="interwiki" wx:pagename="es:Leslie_Lamport" id="wx48">Español</a> | <a href="http://fr.wikipedia.org/wiki/Leslie_Lamport" class="external" wx:linktype="interwiki" wx:pagename="fr:Leslie_Lamport" id="wx49">Français</a> | <a href="http://it.wikipedia.org/wiki/Leslie_Lamport" class="external" wx:linktype="interwiki" wx:pagename="it:Leslie_Lamport" id="wx50">Italiano</a> | <a href="http://ja.wikipedia.org/wiki/%E3%83%AC%E3%82%B9%E3%83%AA%E3%83%BC%E3%83%BB%E3%83%A9%E3%83%B3%E3%83%9D%E3%83%BC%E3%83%88" class="external" wx:linktype="interwiki" wx:pagename="ja:レスリー・ランポート" id="wx51">日本語</a> | <a href="http://pl.wikipedia.org/wiki/Leslie_Lamport" class="external" wx:linktype="interwiki" wx:pagename="pl:Leslie_Lamport" id="wx52">Polski</a> | <a href="http://pt.wikipedia.org/wiki/Leslie_Lamport" class="external" wx:linktype="interwiki" wx:pagename="pt:Leslie_Lamport" id="wx53">Português</a> | <a href="http://ro.wikipedia.org/wiki/Leslie_Lamport" class="external" wx:linktype="interwiki" wx:pagename="ro:Leslie_Lamport" id="wx54">Română</a> | <a href="http://sr.wikipedia.org/wiki/%D0%9B%D0%B5%D1%81%D0%BB%D0%B8_%D0%9B%D0%B0%D0%BC%D0%BF%D0%BE%D1%80%D1%82" class="external" wx:linktype="interwiki" wx:pagename="sr:Лесли_Лампорт" id="wx55">Српски / Srpski</a> | <a href="http://sv.wikipedia.org/wiki/Leslie_Lamport" class="external" wx:linktype="interwiki" wx:pagename="sv:Leslie_Lamport" id="wx56">Svenska</a> | <a href="http://zh.wikipedia.org/wiki/%E8%8E%B1%E6%96%AF%E5%88%A9%C2%B7%E5%85%B0%E4%BC%AF%E7%89%B9" class="external" wx:linktype="interwiki" wx:pagename="zh:莱斯利·兰伯特" id="wx57">中文</a></div>
</body>
<wx:templatearguments for="wx_t1"><wx:argument name="bronvermelding">
<p id="wx58">Artikel over <a href="http://en.wikipedia.org/wiki/Leslie_Lamport" class="external text" wx:linktype="external" rel="nofollow" id="wx59">Leslie Lamport (Wikipedia)</a> op de Engelstalige Wikipedia.</p>
</wx:argument></wx:templatearguments>
</html>
