João Zanette - Computer Scientist

João Zanette

Computer Scientist

Santa Catarina, Brazil

Join Prog.AI to see contacts

Summary

👤

Senior

🎓

Top School

João Zanette is a computer scientist from UFSC with 11 years of hands-on experience exploring programming techniques and game development in his spare time. He has a strong interest in theoretical computer science, particularly formal language theory as it applies to type systems, and brings that rigor to practical tooling. As an open-source contributor he improved lint behavior in the widely used rust-clippy project, fixing false positives around Box parameters in C FFI and adding tests to ensure correctness. Based in Santa Catarina, Brazil, João combines academic grounding with pragmatic engineering, often bridging deep theoretical ideas and real-world code quality improvements. Colleagues appreciate his attention to correctness and his knack for turning subtle language and ABI issues into reliable, tested fixes.

11 years of coding experience

Ciências da Computação, Ciências da Computação at Universidade Federal de Santa Catarina

Ensino Médio, Técnico em Informática, Média Total Adquirida no Curso: 8.8 (9.0 em matérias envolvendo programação), Ensino Médio, Técnico em Informática, Média Total Adquirida no Curso: 8.8 (9.0 em matérias envolvendo programação) at EDUTEC SATC

English, Spanish

Github Skills (3)

linting10

rust10

testing9

Programming languages (18)

C#PowerShellC++CSSRustCCMakeTeX

Github contributions (5)

rust-lang/rust-clippy

Oct 2020 - Oct 2020

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Role in this project:

Backend Developer

Contributions:5 reviews, 1 PR, 5 comments in 1 day

Contributions summary:João primarily contributed to improving the `clippy_lints` tool, which is designed to find and fix common mistakes in Rust code. The contributions focused on refining the behavior of existing lints, specifically related to the handling of `Box` parameters in C FFI functions. They fixed false positives, updated ABI comparisons and added tests to ensure the correctness of the linting rules.

linterlintrustlangmistakes

seccom-ufsc/attor

Oct 2019 - Nov 2021

UFSC's CAGR Attendance Validator from Sympla check-in list.

Contributions:1 release, 2 PRs, 16 pushes in 2 years 1 month

validationcagrcheck-inufscvalidator

Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.

Request Free Trial