Posts

Jan 20, 2023
FMICS 2023

I am PC co-chair of the 28rd International Conference on Formal Methods for Industrial Critical Systems (FMICS 2023) together with Alessandro Cimatti.

Jan 19, 2023
NFM 2023

I am a member of the Program Commitee of the 15th NASA Formal Methods Symposium (NFM 2023).

Apr 16, 2022
NASA Group Achivement award for CPR

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).
Apr 15, 2022
SAS 2022

I am a member of the Program Commitee of the 29th Static Analysis Symposium (SAS 2022).

Apr 14, 2022
LOPSTR 2022

I am a member of the Program Commitee of the 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022).

Dec 18, 2021
CAV 2022

I am a member of the Program Commitee of the 34th International Conference on Computer-Aided Verification (CAV 2022).

Dec 18, 2021
SOAP 2022

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.

May 24, 2021
CPP 2022

I am a member of the Program Commitee of the International Conference on Certified Programs and Proofs (CPP 2022).

May 24, 2021
VMCAI 2022

I am a member of the Program Commitee of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022).

May 17, 2020
NFM 2021

I am PC-(co)chair of the 13th NASA Formal Methods Symposium (NFM 2021) together with Aaron Dutle and Mariano Moscato.