Olivier Coudert on February 23rd, 2010

Buzz was introduced by Google with much clamor. Since then, we have seen a lot of debate around it: Google stepping into the social media arena cannot go unnoticed. Many quickly saw Buzz as a Twitter killer […] Continue reading So will Buzz and Facebook finally bury Twitter?

Continue reading about So will Buzz and Facebook finally bury Twitter?

Olivier Coudert on February 21st, 2010

My last post must have struck a nerve. In this post I ask whether fundamental innovation stalled in formal verification, and I speculate which area the next technological leap will come from. This post received some quite interesting comments. It also brought a counter point by Brian Bailey, partially motivated by his business partnership with […]

Continue reading about Formal verification stalling, take two