🎓 Computer Scientist and Professor at Faculty of Engineering, University of Porto

🧪 Co-lead of the Software Reliability Lab

🔬 Researcher at INESC-ID and coordinator of the Automated Reasoning and Software Reliability area

🌍 Based in Porto || Braga || Lisbon, Portugal

🌐 Personal website: joaoff.com

🐦 Twitter / X: @jff

My 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 my personal website.

Here are some of the projects I've been working on:

A new startup that provides a platform for training and evaluating agentic models with large-scale datasets of reproducible, sandboxed environments.

GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.

A framework to analyze Ethereum smart contracts for vulnerabilities. It integrates multiple analysis tools to provide comprehensive security assessments.

Rango is a neural proof synthesis tool for the Coq theorem prover

Python client for coq-lsp that allows interaction with Coq files and proof navigation.

Feel free to reach out if you're interested in collaboration or have questions about my work.

• 📧 Email: [email protected]
• 💼 LinkedIn: linkedin.com/in/joaoff
• 🐦 Twitter / X: @jff

Thanks for visiting my profile!