Eduardo Porto
Masters Student at CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico
São Paulo, Brazil
Summary
🤩
Rockstar🎓
Top SchoolEduardo Porto is a master's student and computer scientist at the University of São Paulo with eight years of engineering and research experience focused on formal methods, language design, and safe software. He has applied functional and statically-typed languages to practical problems—from speeding up automatic differentiation in a KU Leuven research internship to contributing to the internals and automatic parallelism of popular projects like the Bend language and the HVM parallel VM. Comfortable across research and industry, he has built AI and cloud-backed systems at Sinch while pursuing theory-driven engineering, notably funded by CNPq for his current master's work. Eduardo blends deep theoretical foundations with hands-on systems work, and favors provable correctness and performance—evidenced by measurable speedups and contributions to high-star open-source projects.
8 years of coding experience
1 year of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at USP - Universidade de São PauloTechnical degree, Informatics, Technical degree, Informatics at Technical Highschool of Campinas (COTUCA) - UnicampBacharelado, Computer Science, Bacharelado, Computer Science at University of São PauloBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Charles University
English, Portuguese, Spanish
Github Skills (64)
asynchronous10
timers10
parallel10
non-blocking10
async10
io-uring10
networking10
event-loop10
rust10
dependent-types9
lambda-calculus9
functional-programming9
type-theory9
parser8
haskell8
Programming languages (10)
Github contributions (5)
edusporto/nes
Dec 2020 - Feb 2023
Contributions:71 commits, 46 pushes in 2 years 2 months
edusporto/huffman
May 2019 - Jun 2022
Implementation of the Huffman compression algorithm
Contributions:2 PRs, 14 pushes, 1 branch in 3 years 1 month
compressionhuffman-compression-algorithmcompression-algorithmhuffman
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.