[TYPES] Fwd: Sad news: Amir Pnueli dies

Adriana Compagnoni abc at cs.stevens.edu
Mon Nov 2 17:44:35 EST 2009


Sad news.

---------- Forwarded message ----------
From: Mike Gordon <Mike.Gordon at cl.cam.ac.uk>
Date: Mon, Nov 2, 2009 at 6:28 PM
Subject: Sad news: Amir Pnueli dies
To: HVG <hvg at cl.cam.ac.uk>, theory at cl.cam.ac.uk


This is indeed sad. -- Mike

---------- Forwarded message ----------
From: Edmund Clarke <emc at cs.cmu.edu>
Date: Mon, Nov 2, 2009 at 10:14 PM
Subject: Fwd: Amir
To: Bob Kurshan <rkurshan at gmail.com>, "mike.gordon at cl.cam.ac.uk Gordon" <
Mike.Gordon at cl.cam.ac.uk>


Very sad news.   ---Ed

Begin forwarded message:

*From: *David Harel <dharel at weizmann.ac.il>
*Date: *November 2, 2009 2:52:52 PM EST
*To: *David Harel <dharel at weizmann.ac.il>
*Subject: **Amir*



*From:* Noga Pnueli [mailto:nogapnueli at yahoo.com <nogapnueli at yahoo.com>]
*Sent:* Monday, November 02, 2009 21:26
*To:* Oded.Maler at imag.fr; goldberg at benjamingoldberg.com;
david.harel at weizmann.ac.il; uriklein at gmail.com; lenorezuck at mac.com;
wpr at informatik.uni-kiel.de
*Subject:* Amir

Hi Everyone,

We are sad to inform you that Amir has suffered a serious brain hemorrhage
which he could not recover from. He passed away today at noon.

The funeral will be held in Israel on either Wednesday or Thursday. We will
be in touch with the details.

In the meantime, if you could notify all your colleagues that would be a
great help.

Thank you,
-The Family.



-- 
Adriana B. Compagnoni
Associate Professor
Computer Science Department
Stevens Institute of Technology
http://www.cs.stevens.edu/~abc


More information about the Types-list mailing list