Versie van 4 nov 2009 11:56 bewerken Rp (overleg \| bijdragen) uitgebreid bevestigde gebruikers 1.848 bewerkingen Geen bewerkingssamenvatting ← Oudere bewerking		Versie van 4 nov 2009 11:57 bewerken ongedaan maken Rp (overleg \| bijdragen) uitgebreid bevestigde gebruikers 1.848 bewerkingen als ze nou die paginatitel correct hadden gespeld :( Nieuwere bewerking →
Regel 4: :''[B]eslissend werk aan de introductie van temporele logica in de [[informatica]] en voor buitengewone bijdragen aan de verificatie van [[computerprogramma\|programma's]] en systemen.'' Pnueli studeerde [[wiskunde]] aan het [[Technion]] te [[Haifa]], waar hij zijn [[bachelor]] behaalde. Daarna deed hij een [[wetenschappelijke promotie\|promotieonderzoek]] binnen de toegepaste wiskunde aan het [[Weizmann~~-instituut~~ Instituut der Wetenschappen\|Weizmann ~~Instituut~~-instituut der Wetenschappen]]; zijn onderwerp was ''"Berekening van Getijden in de Oceaan"''. Tijdens een korte periode als [[postdoc]] aan de [[Stanford-universiteit]] stapte hij over naar de informatica. Hij keerde terug naar Israël als [[onderzoeker]] waar hij, na een verscheidenheid aan academische posten, [[hoogleraar]] werd aan het [[Weizmann Instituut der Wetenschappen\|Weizmann-instituut]]. Daarnaast heeft Pnueli ook twee [[technologie\|technologie-bedrijfjes]] gestart.

Amir Pnueli: verschil tussen versies