Amir Pnueli: verschil tussen versies

Uit Wikipedia, de vrije encyclopedie
Verwijderde inhoud Toegevoegde inhoud
Joopwikibot (overleg | bijdragen)
k Terugbrengen bronsjabloonvarianten
Addbot (overleg | bijdragen)
k Robot: Verplaatsing van 15 interwikilinks. Deze staan nu op Wikidata onder d:q92649
Regel 21: Regel 21:
[[Categorie:Israëlisch wiskundige]]
[[Categorie:Israëlisch wiskundige]]
[[Categorie:Winnaar Turing Award]]
[[Categorie:Winnaar Turing Award]]

[[bn:আমির নিউলি]]
[[cs:Amir Pnueli]]
[[de:Amir Pnueli]]
[[en:Amir Pnueli]]
[[es:Amir Pnueli]]
[[fr:Amir Pnueli]]
[[he:אמיר פנואלי]]
[[ja:アミール・プヌーリ]]
[[pl:Amir Pnueli]]
[[pt:Amir Pnueli]]
[[ro:Amir Pnueli]]
[[ru:Пнуели, Амир]]
[[sk:Amir Pnueli]]
[[sr:Амир Пнуели]]
[[zh:阿米尔·伯努利]]

Versie van 11 mrt 2013 18:09

Amir Pnueli

Amir Pnueli (Nahalal, 22 april 1941 - New York City, 2 november2009) was een Israëlisch 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-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.

Daarnaast heeft Pnueli ook twee technologie-bedrijfjes gestart.

Pnueli was getrouwd, en laat drie kinderen en een kleinkind na. Hij overleed aan een hersenbloeding.

Zie de categorie Amir Pnueli van Wikimedia Commons voor mediabestanden over dit onderwerp.