Bertrand Meyer's technology+ blog
Software engineering, programming methodology, languages, verification, general technology, publication culture, and more
Interview (in Russian) of Nadia Polikarpova (who proved the correctness of the EiffelBase 2 library in her PhD at ETH and is now an assistant professor at UCSD) on the site of her original university, ITMO. She explains the US tenure-track system to Europeans — good luck! She also says that programming language people are … Read more
In 2005 a number of us started Informatics Europe [1], the association of university departments and industrial research labs in computer science in Europe. The association has now grown to 80 members across the entire continent; it organizes the annual European Computer Science Summit and has published a number of influential reports. The last … Read more
The following rules are not all that’s needed to understand life, but they go a long way. 1. It’s the tenor who gets the girl. (The baritone never stood a chance1.) 2. It’s the physicists who get the money. Note 1Actually I can think of a couple of exceptions (both Russian, I wonder … Read more
In a blog article posted in its original version on this blog [1] and in a revised version on the Communications of the ACM blog [2], I emphasized the relevance of incremental research. Recently Mikkel Thorup sent me some interesting comments, which I am publishing here as the first Guest Column of this blog. References … Read more
A statistical textbook [1] contains this gem of wisdom: Only a fool would conclude that a painting that was judged as excellent by one person and contemptible by another ought therefore to be classified as mediocre. Common sense indeed; but does the procedure not recall how the typical conference program committee works, with averages … Read more