معرفی
Nuno Moreira Macedo is an Assistant Professor at the Department of Informatics Engineering (DEI) of the Faculty of Engineering of the University of Porto (FEUP), Portugal, and a Senior Researcher at HASLab, INESC TEC. His research focuses on trustworthy software design, formal methods (model checking/model finding), and the development of tools like Alloy 6 and Alloy4Fun. He teaches programming languages and formal methods, emphasizing autonomous learning platforms. His work spans automotive systems, robotics software dependability, and fuzzy logic applications.
- Affiliations: University of Porto (FEUP), HASLab/INESC TEC
- Key Projects: Alloy Analyzer development, Alloy4Fun educational platform
- Research Themes: Formal specification, software verification, educational tools
Publications highlight contributions to specification repair, automotive validation, and fuzzy logic extensions. Supervised multiple theses on topics like contract programming and API security testing. Active in both academic and industrial knowledge transfer projects.
