Software engineering, programming methodology, languages, verification, general technology, publication culture, and more
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 meantime I had to finish my book AI for Smarties: ... Read more The post Questions and answers on AI and verification: a follow-up to my May ACM…
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 continue the discussion, for anyone interested. Feel free to use ... Read more The post Q A after ACM Webinar on Software Verification in the Age…
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 not lazy). Past issues are now available at https://bertrandmeyer.com/newsletter-archive/. I tend to ... Read more The post Newsletter archive…
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, which I am going to try to summarize, not pretending to get anywhere close ... Read more The post Celebrating Tony Hoare s mark on computer…
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 pontificate about AI these days, as well as some truly great ... Read more The post Yes, AI is intelligent. Prove me wrong. appeared first on Bertrand…
Société pour la Défense de l Imparfait du Subjonctif (SDIS) Compte-rendu de l assemblée annuelle 2025, 1er décembre 2025. Présents : Président, Secrétaire, Premier et Second vice-présidents, Trésorier, représentant des adhérents. Le Secrétaire (Bertrand Meyer) ouvre la séance à 17 heures et souhaite la bienvenue à tous les participants. La séance se poursuit avec le rapport du ... Read more The…
[This note was first published in my newsletter (23 November 2025. One can subscribe to the newsletter here.] I might sound like a broken record, but the CloudFlare outage is one more example of the consequences of the software industry making the wrong technical choices. Where were the contracts? Rust, by all accounts the language ... Read more The post CloudFlare outage: the lesson that will not…
(A version of this note was published as three separate articles in the Communications of the ACM blog.) Work in engineering, science or technology can only be effective if it relies on precisely defined concepts. For the fundamental notions taught at school, particularly in mathematics, physics, and chemistry, the definitions, honed over centuries, have become ... Read more The post Criteria and…
We are all familiar with the classical mode of teaching. The instructor and other attendees, each sitting alone in a geographical location as far away as possible from all the others, look at shared PowerPoint slide and a grid of black rectangles with names. The names refer to students, although they are usually not their ... Read more The post A revolutionary approach to university teaching…
Here is an extract from of an exchange between ChatGPT and me. Previous elements: I am writing a text on a topic that I know well but not to the point of considering myself an expert. Along the way, I am asking ChatGPT for information, or confirmation of information that I think I know. Indeed, ... Read more The post Thanks for your help but I write my own texts appeared first on Bertrand Meyer s…
The news is so bad right now everywhere that it is natural to take refuge in discussing matters of (bad) style. I have things to say about the real issues too but not this time. I am following in the tradition of Niklaus Wirth who told me that he regularly sent letters of complaint to ... Read more The post Exponentially bad phrasing appeared first on Bertrand Meyer s technology+ blog .
New article: “Do AI models help produce verified bug fixes?” (Huang Li, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber and Bertrand Meyer), submitted for publication, preprint available on arXiv. Automatic Program Repair (APR) involves four steps: Locating the bug. Producing candidate corrections. Validating them (to make sure that they do correct the problem). Selecting the ...…
A Google search for something entirely unrelated led me to a very old issue of the Daily Nexus, the student newspaper of the University of California, Santa Barbara, where I was teaching back then. Apparently (I had forgotten all about it of course) I was piqued by a student s letter to the editor, where he ... Read more The post A paean to programming appeared first on Bertrand Meyer s…
Bertrand Meyer: Obituary for Niklaus Wirth, in Formal Aspects of Computing, volume 37, issue 2, pages 1-11, published 3 March 2025, available here (publisher’s site). Shortly after Niklaus Wirth — Turing Award winner for his many seminal contributions including Pascal, Algol W, Modula, virtual machines, Lilith/Ceres, railway diagrams, PL/360, seminal textbooks — passed away last ... Read more The…
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer and Yinling Liu, Lessons from Formally Verified Deployed Software Systems, submitted for publication (since March 2023), preprint available here for the full version (with detailed review of all 32 projects) and here for a shorter one (with same core content but only 11 detailed reviews, the others ... Read more The post New preprint:…
Maria Naumcheva, Sophie Ebersold, Jean-Michel Bruel and Bertrand Meyer, UOOR: Seamless and Traceable Requirements, submitted for publication, February 2025, preprint available on arXiv. This article grew out of Maria Naumcheva s PhD thesis defended on December 18 at the University of Toulouse (I will write separately about the thesis as a whole). It is part of ... Read more The post New preprint:…
Li Huang, Bertrand Meyer and Reto Weber, New preprint: Loop unrolling: formal definition and application to testing, February 2025, submitted to publication. Available here on arXiv and also here. Abstract Testing coverage criteria usually make a gross simplification: they assume that loops will have their bodies executed 0 or 1 time. How much (specificall,y how ... Read more The post New…
Preprint of new article: Victoria Kananchuk, Ilgiz Mustafin and Bertrand Meyer, Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair, submitted for publication, February 2025. Available on arXiv here. Also available here. What this is in a nutshell (there is a longer abstract below): a proposal for, and ... Read more The post New preprint: a…
Just published: Li Huang, Bertrand Meyer and Manuel Oriol, Seeding Contradiction: a fast method for generating full-coverage test suites, in Springer Nature Computer Science, vol. 6, no. 4, 2025. The text is available here on the publisher s site. Also available is a preprint version. This just published SNCS article and revised and extended from a ... Read more The post New paper: seeding…
Bertrand Meyer and Reto Weber: Meaning as Programs — Programming Really Is Simple Mathematics, February 2025 preprint available here and also on arXiv. Theories of programming can be quite complicated; the presentation here is a return to essentials, defining programming and associated concepts (programming languages, programming methodology) entirely from elementary set-theoretical concepts.…
In Munich in 1938, Chamberlain and Daladier made the wrong decision, but they were driven by honorable motives. Chamberlain was weak but wanted to preserve short-term peace at all costs; Daladier was entirely lucid, but he had taken a look at the state of preparation of the French forces and wanted to buy time to ... Read more The post This is much worse than Munich appeared first on Bertrand…
Bertrand Meyer, Software engineering as a domain to formalize, available here. This article is meant as a blog but was written as a standard text and I haven t had the time to HTML-ize yet. So I am just providing an abstract below, and linking to the PDF which gives the details. The purpose is simple: ... Read more The post New preprint: Software engineering as a domain to formalize appeared first…
Academic life includes self-governance and require people to sit in committees, take on various duties, serve as director of studies, graduate program director, chair of PhD chair of external relations, department vice chair or chair, dean Not everyone wants to play. It is not rare to encounter faculty members who tell you bluntly that as ... Read more The post I don t have time for administration…
The dominant discourse right now is “Calm down, this is just the normal game of democracy”. Actually, “this” is not the normal course of democracy. Everyone has experienced the disappointment of a favored candidate losing. The result of Tuesday is something else, not seen before in our lifetime: the triumph of indecency and the rout ... Read more The post The path wrongly taken appeared first on…
This week, Informatics Europe, the association of European computer science departments and industry research centers, is holding its annual ECSS event, bizarrely billed as “20 years of Informatics Europe”. (Informatics Europe was created at the end of 2006 and incorporated officially in 2011. The first ever mention of the name appeared in an email from ... Read more The post Europe asleep (a…
Reading notes. From: Quelques éléments d’histoire des nombres négatifs (Elements of a history of negative numbers) by Anne Boyé, Proyecto Pénélope, 2002, revision available here; On Solving Equations, Negative Numbers, and Other Absurdities: Part II by Ralph Raimi, available here; Note sur l’histoire des nombres entiers négatifs (Note on the History of Negative Numbers) by ... Read more The post…
Recently I prepared some of my books for free access on the Web (after gaining agreement from the publishers). Here are the corresponding links. They actually point to pages that present the respective books and have further links to the actual PDF versions. Although the texts are essentially those of the books as published, I ... Read more The post Freely accessible books appeared first on…
After all, for the first time in decades, France has had a competent government since 2017, and it shows. The post And what if everything went well? appeared first on Bertrand Meyer s technology+ blog .
July 14 (still here for 15 minutes) is not a bad opportunity to announced the publication of a new book: The French School of Programming. The book is a collection of chapters, thirteen of them, by rock stars of programming and software engineering research (plus me), preceded by a Foreword by Jim Woodcock and a ... Read more The post The French School of Programming appeared first on Bertrand…
[English version forthcoming.] Que peut-on faire ? Un pays vieux d un millénaire et demi est en train de se suicider. Pour tentant que soit le désespoir, il est encore temps d agir. Le pire scénario, c est la menace de la gauche. Ce qu il restait de sociaux-démocrates s est prosterné devant une bande d extrémistes décidés à détruire toute ... Read more The post Descente aux enfers appeared first…