Aaron Dutle, Mariano Moscato, César A. Muñoz, and myself have received the NASA Group Achivement Award for our work on the formal analysis of the Compact Position Reporting Algorithm (CPR).
I am co-chairing with Laure Gonnord the 11th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis (SOAP 2022) co-located with PLDI.
I am PC-(co)chair of the 13th NASA Formal Methods Symposium (NFM 2021) together with Aaron Dutle and Mariano Moscato.