Chapter

Formal Methods at the Crossroads. From Panacea to Foundational Support

Volume 2757 of the series Lecture Notes in Computer Science pp 1-25

In Memoriam Armando Martín Haeberer

  • Tom MaibaumAffiliated withKing’s College London

Abstract

The sudden death of Arrmando in February devastated his many friends and colleagues around the world. I had known him for almost twenty years and I cannot but remember him in very personal terms. Hence, this brief account of his life and work will be written in the first person singular and represents mainly my own impressions of him as a man and as a scientist/academic.