It is with deep sorrow that we announce the death of Paul Caspi in the evening of April 24th, 2012. As many of you know, Paul was an outstanding scientist, working in the interface between control systems and their software/hardware realization. Paul’s most known contribution is the development of the data-flow language Lustre, which takes the block diagrams used by control engineers to model and simulate their controllers and enriches them with concept taken from Computer Science (semantics, functional languages, compilation), leading to the commercial tool SCADE, now used all over the world for the design of critical embedded software. Paul was a very modest person and an original thinker, bringing fruitful ideas to various domain such as dependability analysis, formal verification, programming languages and embedded systems. His interests were not restricted to these domains and extended to Philosophy, Economy, Society and Culture in general. For us, his colleagues, he was a source of inspiration, an example, and the dearest friend. He leaves a huge void in our community.
Grenoble, April 26, 2012