Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
(This is “About” the blog, not the author. For a biographical sketch see here.) This blog is a collection of observations about software technology, its evolutions, its challenges and its promises.
News
Questions and answers on AI and verification: a follow-up to my May ACM Tech Talk
On May 7, I gave a well-attended ACM Tech talk on "Software Verification in the Age of Artificial Intelligence". There were more questions at the end than I had the time to answer, but I promised the participants that I would answer everything. In the mea
Read more
Report
Q&A after ACM Webinar on Software Verification in the Age of Artificial Intelligence
On May 7 I gave a well-attended seminar on "Software Verification in the Age of Artificial Intelligence" (see the announcement here and the recording there). There was not enough time for all the questions that came up at the end. This post will serve to
Read more
Report
Newsletter archive available
I have been publishing my "Software Engineering newsletter" since October 2025. It normally comes out every Monday, although in practice the schedule is a bit more haphazard as I am not a Swiss clock, actually not a clock of any denomination (clocks are n
Read more
Report
Celebrating Tony Hoare's mark on computer science
Tony Hoare at the LASER summer school, September 2007 (All photographs in this article are by the author) Had they included just one of Tony Hoare's major achievements, many scientific careers would be considered prestigious enough. His had a long list, w
Read more
Report
Yes, AI is intelligent. Prove me wrong.
It must be a sign of how terrified people are of Modern-AI, and running out of arguments to decry it, that we now read and hear, ever more often, pronouncements that "it is not intelligent". They come from the many self-appointed great minds who pontifica
Read more
Report
Pro access
Upgrade to see all 40 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.