João F. Ferreira
João F. Ferreira
Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities
Light
Dark
Automatic
Nuno Saavedra
Latest
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
CoqPyt: Proof Navigation in Python in the Era of LLMs
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
Cite
×