Amir Pnueli: verschil tussen versies

5 bytes toegevoegd ,  9 jaar geleden
k
Linkfix ivm sjabloonnaamgeving / parameterfix
(+{{Navigatie Turing Award}})
k (Linkfix ivm sjabloonnaamgeving / parameterfix)
[[Bestand:Amir Pnueli.jpg|thumb|upright|Amir Pnueli]]
'''Amir Pnueli''' ([[Nahalal]], [[22 april]] [[1941]] - [[New York City]], [[2 november ]][[2009]]) was een [[Israël]]isch [[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 [[computerprogramma|programma's]] en systemen.''
* [http://www.wisdom.weizmann.ac.il/~amir/ Pnueli's Weizmann homepage]
}}
{{Navigatie winnaars Turing Award}}
 
{{commonscatCommonscat|Amir Pnueli}}
{{Navigatie Turing Award}}
 
{{commonscat|Amir Pnueli}}
 
{{DEFAULTSORT:Pnueli, Amir}}