Rodrigo Saad
Founder And Software Developer at VERTESIS
Santa Catarina, Brazil
Summary
👤
Senior🎓
Top SchoolRodrigo Saad is a Ph.D. engineer, entrepreneur and founder with nine years of industry experience building scalable systems and over a decade working on high-performance computing and formal verification. He leads VERTESIS, a spinoff from UFSC that automates safety documentation and compliance testing for Oil & Gas safety systems, and has run research projects that reduced model-checking verification times from hours to minutes. Rodrigo combines deep algorithmic and model-checking expertise (including work on multicore model checkers and Fiacre toolchains) with hands-on cloud and time-series engineering from his telematics startup experience. He has a track record of turning formal methods research into practical tooling that verifies billion-state systems on commodity hardware and manages small cross-disciplinary teams. Based in Santa Catarina, Brazil, he blends rigorous academic training with product-focused engineering and a demonstrated ability to commercialize mission-critical safety technology.
9 years of coding experience
8 years of employment as a software developer
Master of Science System Automation, Master of Science System Automation at Universidade Federal de Santa CatarinaMaster of Science Automation Informatics and Decision Systems, Master of Science Automation Informatics and Decision Systems at Université Paul Sabatier Toulouse IIIPhd High-performance computing and System Dependability, Phd High-performance computing and System Dependability at INSA Toulouse - Institut National des Sciences Appliquées de Toulouse
Portuguese, French, english (890 toeic)
Github Skills (8)
intellisense6
python5
vscode5
vscode-extension5
visual-studio-code4
visual-studio4
pylint3
python-extension2
Programming languages (1)
Github contributions (5)
rtsaad/CarND-Behavioral-Cloning-P3
Apr 2017 - Sep 2017
Contributions:20 pushes, 1 branch in 5 months
rtsaad/CarND-Traffic-Sign-Classifier-Project
Mar 2017 - Sep 2017
Contributions:14 pushes, 2 branches in 5 months
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.