Week of 01/10/2010 - 02:00 to 01/17/2010 - 01:59
Amir Pnueli Memories
A look into the January 2010 CACM issue tells me that Amir Pnueli has died end of last year.
He - or more precisely his work on Temporal Logic - had an huge influence on me, in particular when I wrote my Ph.D. thesis back in the early 90ies.
Abused By A Patent Troll
How would you react when you learn that your name appears on a Microsoft filed US patent (7627600)?
No, not as inventor, but under "Other References" which cites an ancient journal paper (Syndication with JML) I had written in 1999 together with a friend.
The patent was filed 2006 and only end of last year (12/01/2009) it has been issued to Microsoft.
