Amir Pnueli: verschil tussen versies

37 bytes toegevoegd ,  11 jaar geleden
geen bewerkingssamenvatting
(link toegevoegd)
:''[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 der Wetenschappen|Weizmann 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.
1.602

bewerkingen