ESEC/FSE 2022 (series) / Nuno Macedo
![Nuno Macedo](https://2022.esec-fse.org/getProfileImage/nunomacedo/d84b6ba0-5f31-491d-82dc-c7d9ccd19a71/small.jpg?1711669830000)
Registered user since Mon 10 May 2021
Name:Nuno Macedo
Country:Portugal
Affiliation:University of Porto; INESC TEC
Personal website: https://nmacedo.github.io/
GitHub: https://github.com/nmacedo
Research interests:Lightweight formal methods, Trustworthy software design, Safe robotic software
Contributions
2022
ESEC/FSE 2022-profile
View general profile
View general profile