Amir Pnueli: verschil tussen versies

2 bytes toegevoegd ,  15 jaar geleden
Wijziging teruggedraaid. Die haken zijn geen tikfout, maar om aan te geven dat ik de vertaling aangepast heb qua stijl.
k (Opmaak)
(Wijziging teruggedraaid. Die haken zijn geen tikfout, maar om aan te geven dat ik de vertaling aangepast heb qua stijl.)
'''Amir Pnueli''' (* [[22 April]] [[1941]] te Nahalal in [[Israel]]) is een [[Israel]]isch [[informaticus]] en [[wiskundige]]. Gedurende zijn loopbaan heeft hij veel onderzoek gedaan naar [[temporele logica]] en in [[1996]] ontving hij de [[Turing Award]] voor
 
:''Beslissend[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 Institute of Science]]; zijn onderwerp was ''"Berekening van Getijden in de Oceaan"''. Tijdens een korte periode als [[postdoc]] aan de [[Standford University]] stapte hij over naar de informatica. Hij keerde terug naar Israel als [[onderzoeker]] waar hij, na een verscheidenheid aan academische posten, [[hoogleraar]] werd aan het Weizmann Institute.
6.478

bewerkingen