João F. Ferreira

I’m happy to share that, according to the 2025 Scholar Metrics: Our paper “Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts” (T.

I’m excited to share that I’ve received an Amazon Research Award on Automated Reasoning!

Our paper “Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification” has received an ACM SIGSOFT Distinguished Paper Award at ICSE 2025.

I am very pleased to announce that we secured funding for the InfraGov project, a new research project funded to address critical challenges in the reliability and security of Infrastructure as Code (IaC) used in Public Administration.

We build AI-assisted tools for proof engineering and verification-aware programming languages.

Related Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities (2021)

Related A wp Calculus for a Preferential Computations: Mechanisation in Isabelle/HOL (Technical report)

We work on methods and tools to increase the reliability of Infrastructure as Code artifacts.

Related DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring (2024)

Related Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts Summary of contributions and findings

Related Summary of contributions and findings

I am an Associate Professor at the Faculty of Engineering, University of Porto.

SmartBugs is a new execution framework that simplifies the execution of automated analysis tools on datasets of Solidity smart contracts.

SmartBugs is an execution framework that simplifies the execution of automated analysis tools on datasets of Solidity smart contracts.

Errata Correction concerning the source of the datasets used (it does not affect the conclusions of the work)

Related Automated narrative planning model extension.

I am always looking for new talented research students and post-doc researchers.

Errata Correction concerning the source of the datasets used (it does not affect the conclusions of the work)