In Memoriam Armando Martín Haeberer

  • Tom Maibaum
Conference paper

DOI: 10.1007/978-3-540-40007-3_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2757)
Cite this paper as:
Maibaum T. (2003) In Memoriam Armando Martín Haeberer. In: Aichernig B.K., Maibaum T. (eds) Formal Methods at the Crossroads. From Panacea to Foundational Support. Lecture Notes in Computer Science, vol 2757. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Tom Maibaum
    • 1
  1. 1.King’s College London 

Personalised recommendations