A l l e r a u c o n t e n u
M e n u p r i n c i p a l
M e n u p r i n c i p a l
N a v i g a t i o n
● A c c u e i l ● P o r t a i l s t h é m a t i q u e s ● A r t i c l e a u h a s a r d ● C o n t a c t
C o n t r i b u e r
● D é b u t e r s u r W i k i p é d i a ● A i d e ● C o m m u n a u t é ● M o d i f i c a t i o n s r é c e n t e s ● F a i r e u n d o n
R e c h e r c h e r
Rechercher
A p p a r e n c e
● C r é e r u n c o m p t e ● S e c o n n e c t e r
O u t i l s p e r s o n n e l s
● C r é e r u n c o m p t e ● S e c o n n e c t e r
P a g e s p o u r l e s c o n t r i b u t e u r s d é c o n n e c t é s e n s a v o i r p l u s ● C o n t r i b u t i o n s ● D i s c u s s i o n
D é b u t
1 B i o g r a p h i e
2 R é f é r e n c e s
3 L i e n s e x t e r n e s
B a s c u l e r l a t a b l e d e s m a t i è r e s
A m i r P n u e l i
2 7 l a n g u e s
● ا ل ع ر ب ي ة ● م ص ر ى ● ت ۆ ر ک ج ه ● ব া ং ল া ● C a t a l à ● Č e š t i n a ● D e u t s c h ● E n g l i s h ● E s p e r a n t o ● E s p a ñ o l ● ف ا ر س ی ● ע ב ר י ת ● B a h a s a I n d o n e s i a ● I t a l i a n o ● 日 本 語 ● M a l a g a s y ● N e d e r l a n d s ● P o l s k i ● P o r t u g u ê s ● R o m â n ă ● Р у с с к и й ● S r p s k o h r v a t s k i / с р п с к о х р в а т с к и ● S l o v e n č i n a ● С р п с к и / s r p s k i ● T ü r k ç e ● У к р а ї н с ь к а ● 中 文
M o d i f i e r l e s l i e n s
● A r t i c l e ● D i s c u s s i o n
f r a n ç a i s
● L i r e ● M o d i f i e r ● M o d i f i e r l e c o d e ● V o i r l ’ h i s t o r i q u e
O u t i l s
O u t i l s
A c t i o n s
● L i r e ● M o d i f i e r ● M o d i f i e r l e c o d e ● V o i r l ’ h i s t o r i q u e
G é n é r a l
● P a g e s l i é e s ● S u i v i d e s p a g e s l i é e s ● T é l é v e r s e r u n f i c h i e r ● P a g e s s p é c i a l e s ● L i e n p e r m a n e n t ● I n f o r m a t i o n s s u r l a p a g e ● C i t e r c e t t e p a g e ● O b t e n i r l ' U R L r a c c o u r c i e ● T é l é c h a r g e r l e c o d e Q R ● É l é m e n t W i k i d a t a
I m p r i m e r / e x p o r t e r
● C r é e r u n l i v r e ● T é l é c h a r g e r c o m m e P D F ● V e r s i o n i m p r i m a b l e
D a n s d ’ a u t r e s p r o j e t s
● W i k i m e d i a C o m m o n s
A p p a r e n c e
U n a r t i c l e d e W i k i p é d i a , l ' e n c y c l o p é d i e l i b r e .
Le professeur Amir Pnueli en janvier 2005.
modifier - modifier le code - modifier Wikidata
Amir Pnueli (hébreu : אמיר פנואלי ) est un informaticien israélien né le 22 avril 1941 et mort le 2 novembre 2009 d'une hémorragie intra-cérébrale [ 1 ] , [ 2 ]
Il a obtenu le prix Turing et le prix Israël .
Amir Pnueli est né dans le moshav Nahalal en 1941 . Son père, qui était enseignant, a fondé le département de littérature hébraïque de l'université de Tel-Aviv . En 1945, sa famille déménage pour Holon . Il étudie les mathématiques au Technion à Haïfa , puis passe son doctorat à l'Institut Weizmann de Rehovot sous la direction du professeur Haïm Leib Pekeris .
Amir Pnueli a reçu le prix Turing en 1996 pour un « travail fondateur introduisant la logique temporelle en informatique et pour des contributions exceptionnelles à la vérification des programmes et systèmes ». Ses travaux ont notamment porté sur les notions de vivacité et d'équité dans les systèmes concurrents et à leur intégration dans les techniques de model checking . En 1998, il reçoit le titre de docteur honoris causa de l'université Joseph-Fourier - Grenoble 1 [ 3 ]
Amir Pnueli était professeur à l'Institut Weizmann en Israël et à l'université de New York , aux États-Unis d'Amérique .
↑ Université Joseph-Fourier - Grenoble 1.
C e d o c u m e n t p r o v i e n t d e « https://fr.wikipedia.org/w/index.php?title=Amir_Pnueli&oldid=214118702 » . C a t é g o r i e s : ● P e r s o n n a l i t é i s r a é l i e n n e d e l ' i n f o r m a t i q u e ● P e r s o n n a l i t é e n m é t h o d e s f o r m e l l e s ● D o c t e u r h o n o r i s c a u s a d e l ' u n i v e r s i t é G r e n o b l e 1 ● É t u d i a n t d u T e c h n i o n ● É t u d i a n t d e l ' I n s t i t u t W e i z m a n n ● P r o f e s s e u r à l ' I n s t i t u t W e i z m a n n ● P r o f e s s e u r à l ' u n i v e r s i t é d e N e w Y o r k ● L a u r é a t d u p r i x T u r i n g ● L a u r é a t d u p r i x I s r a ë l ● M e m b r e d e l ' A c a d é m i e i s r a é l i e n n e d e s s c i e n c e s e t l e t t r e s ● N a i s s a n c e e n a v r i l 1 9 4 1 ● D é c è s e n n o v e m b r e 2 0 0 9 ● M o r t d ' u n e h é m o r r a g i e c é r é b r a l e ● D é c è s à 6 8 a n s C a t é g o r i e s c a c h é e s : ● P a g e u t i l i s a n t P 5 6 9 ● P a g e u t i l i s a n t P 1 9 ● P a g e u t i l i s a n t P 5 7 0 ● P a g e u t i l i s a n t P 2 0 ● P a g e u t i l i s a n t P 1 5 5 9 ● P a g e u t i l i s a n t P 2 7 ● P a g e u t i l i s a n t P 6 9 ● P a g e u t i l i s a n t P 1 0 6 ● P a g e u t i l i s a n t P 1 0 8 ● P a g e u t i l i s a n t P 4 6 3 ● P a g e u t i l i s a n t P 1 8 4 ● P a g e u t i l i s a n t P 8 5 6 ● P a g e u t i l i s a n t P 1 6 6 ● A r t i c l e u t i l i s a n t l ' i n f o b o x B i o g r a p h i e 2 a v e c l a c h a r t e p a r d é f a u t ● A r t i c l e u t i l i s a n t l ' i n f o b o x B i o g r a p h i e 2 ● A r t i c l e u t i l i s a n t u n e I n f o b o x ● P a g e u t i l i s a n t P 2 4 5 6 ● P a g e u t i l i s a n t P 5 4 9 ● P a g e p o i n t a n t v e r s d e s b a s e s e x t e r n e s ● P a g e p o i n t a n t v e r s d e s b a s e s r e l a t i v e s à l a r e c h e r c h e ● A r t i c l e d e W i k i p é d i a a v e c n o t i c e d ' a u t o r i t é ● P o r t a i l : I n f o r m a t i q u e / A r t i c l e s l i é s ● P o r t a i l : T e c h n o l o g i e s / A r t i c l e s l i é s ● W i k i p é d i a : A r t i c l e b i o g r a p h i q u e ● P o r t a i l : B i o g r a p h i e / A r t i c l e s l i é s / E n t r e p r i s e s ● P o r t a i l : B i o g r a p h i e / A r t i c l e s l i é s / S c i e n c e s ● P o r t a i l : B i o g r a p h i e / A r t i c l e s l i é s / C u l t u r e e t a r t s
● L a d e r n i è r e m o d i f i c a t i o n d e c e t t e p a g e a é t é f a i t e l e 1 0 a v r i l 2 0 2 4 à 0 0 : 4 1 . ● D r o i t d ' a u t e u r : l e s t e x t e s s o n t d i s p o n i b l e s s o u s l i c e n c e C r e a t i v e C o m m o n s a t t r i b u t i o n , p a r t a g e d a n s l e s m ê m e s c o n d i t i o n s ; d ’ a u t r e s c o n d i t i o n s p e u v e n t s ’ a p p l i q u e r . V o y e z l e s c o n d i t i o n s d ’ u t i l i s a t i o n p o u r p l u s d e d é t a i l s , a i n s i q u e l e s c r é d i t s g r a p h i q u e s . E n c a s d e r é u t i l i s a t i o n d e s t e x t e s d e c e t t e p a g e , v o y e z c o m m e n t c i t e r l e s a u t e u r s e t m e n t i o n n e r l a l i c e n c e .
W i k i p e d i a ® e s t u n e m a r q u e d é p o s é e d e l a W i k i m e d i a F o u n d a t i o n , I n c . , o r g a n i s a t i o n d e b i e n f a i s a n c e r é g i e p a r l e p a r a g r a p h e 5 0 1 ( c ) ( 3 ) d u c o d e f i s c a l d e s É t a t s - U n i s . ● P o l i t i q u e d e c o n f i d e n t i a l i t é ● À p r o p o s d e W i k i p é d i a ● A v e r t i s s e m e n t s ● C o n t a c t ● C o d e d e c o n d u i t e ● D é v e l o p p e u r s ● S t a t i s t i q u e s ● D é c l a r a t i o n s u r l e s t é m o i n s ( c o o k i e s ) ● V e r s i o n m o b i l e
:
