FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Paulo Canelas

Registered user since Mon 1 May 2023

Name:Paulo Canelas
Bio:

Ph.D. Student at LASIGE, University of Lisbon and S3D, Carnegie Mellon University

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

Contributions

Show activities from other conferences

Using general profile