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.

Posted In

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.

Posted In