FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Paulo Canelas

Registered user since Wed 13 Oct 2021

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

ICSE 2023-profile
View general profile