I am a program co-chair, together with Santiago Escobar, of the 35nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025). Stay tuned for more details.
I have accepted a new position as Principal Research Scientist at Code Metal.
I am General Chair of the 17th NASA Formal Methods Symposium NFM 2025 that will be held at the University of William and Mary (Williamsburg, VA, USA) June 11-13, 2025. Submissions are due on December 13, 2025.
I am a member of the Program Commitee of the 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025).
I am a member of the Program Commitee of the International Conference on Certified Programs and Proofs ([CPP 2025](https://popl25.sigplan.org/home/CPP-2025)).
I am PC co-chair of the 28rd International Conference on Formal Methods for Industrial Critical Systems (FMICS 2023) together with Alessandro Cimatti.
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](https://laure.gonnord.org/pro/) the 11th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis ([SOAP 2022](https://pldi22.sigplan.org/home/SOAP-2022)) co-located with [PLDI](https://pldi22.sigplan.org).
I am PC-(co)chair of the 13th NASA Formal Methods Symposium (NFM 2021) together with Aaron Dutle and Mariano Moscato.