Amir Pnueli: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud

In de regel

Versie van 28 jun 2006 21:33

Amir Pnueli (22 april 1941, Nahalal in Israël) is een Israëlisch informaticus en wiskundige. Gedurende zijn loopbaan heeft hij veel onderzoek gedaan naar temporele logica en in 1996 ontving hij de Turing Award voor

[B]eslissend werk aan de introductie van temporele logica in de informatica en voor buitengewone bijdragen aan de verificatie van programma's en systemen.

Pnueli studeerde wiskunde aan het Technion te Haifa, waar hij zijn bachelor behaalde. Daarna deed hij een promotieonderzoek binnen de toegepaste wiskunde aan het Weizmann-instituut der Wetenschappen; zijn onderwerp was "Berekening van Getijden in de Oceaan". Tijdens een korte periode als postdoc aan de Standford-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.

Daarnaast heeft Pnueli ook twee technologie-bedrijfjes gestart.

Pnueli is getrouwd, heeft drie kinderen en een kleinkind.

Bronnen, noten en/of referenties

@@ Regel 3: / Regel 3: @@
 :''[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 [[promotie]]onderzoek binnen de toegepaste wiskunde aan het [[Weizmann-instituut der Wetenschappen]]; zijn onderwerp was ''"Berekening van Getijden in de Oceaan"''. Tijdens een korte periode als [[postdoc]] aan de [[Standford-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.
+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 der Wetenschappen]]; zijn onderwerp was ''"Berekening van Getijden in de Oceaan"''. Tijdens een korte periode als [[postdoc]] aan de [[Standford-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.
 Daarnaast heeft Pnueli ook twee [[techologie|technologie-bedrijfjes]] gestart.