Nuno Macedo

Registered user since Mon 10 May 2021

Name:Nuno Macedo
Affiliation:Faculty of Engineering, University of Porto and INESC TEC
Research interests:Lightweight formal methods, Trustworthy software design, Safe robotic software


ICT4S 2022 Virtualization and Web Co-Chairs in Organizing Committee
RoSE 2021 Author of The High-Assurance ROS Framework within the RoSE 2021-track
ICFP 2018 Author of Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report) within the Research Papers-track
ESEC/FSE 2018 Author of Property-Based Testing for the Robot Operating System within the A-TEST-track