FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Paulo Canelas

Registered user since Wed 13 Oct 2021

Name:Paulo Canelas
Bio:

Ph.D. Student at LASIGE at Faculdade de Ciências da Universidade de Lisboa and S3D at Carnegie Mellon University

Country:United States
Affiliation:Carnegie Mellon University
Personal website: https://pcanelas.com
Research interests:Program Analysis, Software Engineer, Robotics, Evolutionary Computation

Contributions

Show activities from other conferences

Using general profile