Software engineering, programming methodology, languages, verification, general technology, publication culture, and more
Archive for the ‘Administrative’ Category.
I have updated my publication list [1] to include recently published and accepted papers, and some ongoing work. Most of the papers are collaborative, reflecting the work of our ETH and ITMO groups on verification, concurrency and methodology.
[1] Publication list, available here (in various formats).
As the name indicates, this blog is particularly devoted to technology, and even more particularly to software technology. My technical persona is not, however, completely cut off from my personal persona and I increasingly include non-software topics.
Whether there is any readership equally interested in learning about using domain theory for specification and finding out what is the most beautiful monument of Europe remains to be seen, but from now on this will be my “technology+” blog.
Eiffel Software
Home page at ETH
Informatics Europe
LASER summer school
Propulsion Academy