Invited Speaker at ICTAC 2023 in Lima, Peru, presenting 'Optimal Route Synthesis in Space DTN using Markov Decision Processes'
Delivered a 3-hour mini-course on 'Probabilistic Model Checking' at the ICTAC 2023 Training School on Applied Formal Methods
Gave a technical presentation titled 'Quantifying Masking Fault-Tolerance via Fair Stochastic Games' at EXPRESS/SOS 2023 and CONFEST 2023 in Antwerp, Belgium
Presented a public lecture titled 'Luchando contra Errores, Fallas y Chantadas para construir Software Confiable' during FAMAF’s Science Month in 2022
Involved in organizing or contributing to international conferences including ASSE 2024, QEST+FORMATS 2024, CONCUR 2024, and FMICS 2024