In memory of Peter Amey
It is with great sadness that AdaCore learnt of the passing of Peter Amey last Thursday. Peter has been a long-term friend of many members of the AdaCore team through his work leading the SPARK Ada project and more generally through his interest and expertise in the areas of Safety and Security. Our thoughts and condolences go to his family, friends, and colleagues at this time.