Thales Barretto
System Administrator
Brazil
Summary
🤩
Rockstar🎓
Top SchoolThales Barretto is a multidisciplinary engineer and former corporate lawyer who bridges enterprise law, industrial automation, and low-level systems programming. He applies legal rigor to complex distributed-systems problems as a systems engineering contributor for GlusterFS & Samba, where he built a neurosymbolic verification pipeline, discovered a long-standing silent data corruption bug, and mapped C code into a Neo4j knowledge graph for formal analysis. Trained as an automation technician and C systems developer, he has written a driver for an inertial sensor and combines sysadmin experience with formal verification tools (Frama-C, CBMC, TLA+, SPIN) and SMT solvers to prove protocol invariants. Comfortable in both boardrooms and kernel space, he seeks roles at mission-driven companies that value clear goals, strong ethics, and the humane side of technology.
5 years of coding experience
Bachelor of Technology - BTech, Automation Engineer Technology/Technician, Bachelor of Technology - BTech, Automation Engineer Technology/Technician at FATEC CatanduvaUniversity of São Paulo
Portuguese, English, Russian, Spanish
Github Skills (36)
glusterfs10
filesystem10
high-availability10
storage10
linux10
rsync10
server10
btrfs9
ubuntu9
efi9
distributed-systems9
distro9
fedora9
initramfs9
partition9
Programming languages (2)
Github contributions (5)
ThalesBarretto/archlinux-intel-gvt-linux
Mar 2022 - Sep 2022
Contributions:18 commits, 23 pushes, 9 branches in 5 months
ThalesBarretto/glusterfs
Feb 2025 - Mar 2025
Gluster Filesystem : Build your distributed storage in minutes
Contributions:57 pushes, 51 branches, 489 tags in 1 month
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.