Ana de Almeida Borges -

Registered user since Mon 27 Nov 2023

Name:Ana de Almeida Borges

Country:Portugal

Personal website: https://aborges.eu/

GitHub: https://github.com/ana-borges

Contributions

2025

CPP

PC Member in Program Committee within the CPP 2025-track

2024

CPP

Author of UTC time, formally verified within the CPP 2024-track