https://verifixer.github.io/author/joao-f.-ferreira/João F. FerreiraHugo Blox Builder (https://hugoblox.com)en-usFri, 28 Feb 2025 00:00:00 +0000https://verifixer.github.io/author/joao-f.-ferreira/avatar_hu8801180239354931357.jpghttps://verifixer.github.io/author/joao-f.-ferreira/https://verifixer.github.io/publication/2025/ecoop/Fri, 28 Feb 2025 00:00:00 +0000https://verifixer.github.io/publication/2025/ecoop/https://verifixer.github.io/author/joao-f.-ferreira/Fri, 28 Feb 2025 00:00:00 +0000https://verifixer.github.io/author/joao-f.-ferreira/<p>João F. Ferreira is an associate professor at FEUP, University of Porto, and a researcher at INESC-ID. His work spans from empirical software engineering methods that can inform practitioners and direct future research, to formal methods that can verify the absence of certain types of bugs. For more details, see <a href="https://joaoff.com" target="_blank" rel="noopener">his homepage</a>.</p>