Amir Pnueli: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud

In de regel

Versie van 3 aug 2005 23:45

Amir Pnueli (22 April 1941, Nahalal in Israel) is een Israelisch 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 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.

Daarnaast heeft Pnueli ook twee technologie-bedrijfjes gestart.

Pnueli is getrouwd, heeft drie kinderen en een kleinkind.

Bronnen, noten en/of referenties

Versie van 3 aug 2005 20:00 bewerken BenTels (overleg \| bijdragen) 6.478 bewerkingen Wijziging teruggedraaid. Die haken zijn geen tikfout, maar om aan te geven dat ik de vertaling aangepast heb qua stijl. ← Oudere bewerking		Versie van 3 aug 2005 23:45 bewerken ongedaan maken Sietske (overleg \| bijdragen) uitgebreid bevestigde gebruikers, Terugdraaiers 32.979 bewerkingen k lichte wikificatie Nieuwere bewerking →
Regel 1:		Regel 1:
	'''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		'''Amir Pnueli''' ([[22 April]] [[1941]], [[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

	:''[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.''		:''[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.''