Matteo Vaccari

Matteo Vaccari

It is possible to write software that solves real business problems, cheaply and reliably. The recipe is well known, even though it's not easy to do.

I am a software developer. I'm happy to work as a programmer for ThoughtWorks, mostly in the Milano area. I teach at the Università dell'Insubria.

Working with me: if you're a computing student, you may do an internship with one of my (former) clients. If you are a developer interested in working in a team that does Extreme Programming, send me your CV.

Whereas Mathematics is principally concerned with amassing a collection of results, Computing Science is about method: how to construct programs and systems that are reliable, ergonomic and efficient. The calculational method is about enhancing the human being's innate abilities by reducing as much as possible of the construction of process to elementary syntactic calculation.

Reliability demands precision, but precision is often achieved at the expense of concision, and a lack of concision is a severe impediment to creativity. ... The calculational method, in contrast, aims to combine precision with concision, and thus eliminate the separation between construction and verification

... Calculation is not a spectator sport. To appreciate its charms one must do it, and to become proficient one must practise.

Roland Backhouse, The calculational method, Information Processing Letters 53 (1995) 121