Amir Pnueli: verschil tussen versies

54 bytes toegevoegd ,  11 jaar geleden
Afbeelding toegevoegd via http://toolserver.org/~emijrp/imagesforbio/
k (robot Erbij: ro:Amir Pnueli)
(Afbeelding toegevoegd via http://toolserver.org/~emijrp/imagesforbio/)
[[Bestand:Amir Pnueli.jpg|thumb|upright|Amir Pnueli]]
'''Amir Pnueli''' ([[Nahalal]], [[22 april]] [[1941]]) is 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
 
1.383

bewerkingen