Tomas Rivera

Tampa, Florida, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Tomas Rivera is an emerging software engineer based in Tampa, Florida, who combines a top-tier academic record in mathematics and computer science with hands-on experience building production-ready tools. In roles from a lead developer at a media trust consortium to an engineering intern at Cboe, he has architected full-stack NLP pipelines with fine-tuned BERT models, CUDA-enabled Docker workflows, and custom data-processing utilities for variable-length binary formats. He has practical experience across Python, PyTorch, C++, MySQL, and version-controlled, containerized development, and he’s presented technical work to stakeholders including Microsoft and the Associated Press. Notably, he contributed to cost-saving technical reports and budgeting discussions for hardware procurement while also optimizing compilers and virtual machines during a high-impact internship.
code1 year of coding experience
job2 years of employment as a software developer
bookHigh School Diploma, International Baccalaureate, 3.89/4.0, High School Diploma, International Baccalaureate, 3.89/4.0 at Hillsborough High School
bookAssociate of Arts - AA, 4.0/4.0, Associate of Arts - AA, 4.0/4.0 at University of South Florida
bookBachelor of Science - BS, Mathematics and Computer Science, 4.0/4.0, Bachelor of Science - BS, Mathematics and Computer Science, 4.0/4.0 at University of Florida
languagesEnglish, Spanish
github-logo-circle

Github Skills (44)

visual-studio-code10
github10
electron10
microsoft10
typescript10
editor10
git9
compatibility9
vscode8
vscode-extension8
json8
website-development7
ietf7
hugo7
azure-repos7

Programming languages (9)

TypeScriptJavaC++CRustJavaScriptHTMLJSON

Github contributions (5)

github-logo-circle
GRURoot/docs

Dec 2024 - May 2025

The open-source repo for docs.github.com
Contributions:3 PRs, 15 pushes, 13 branches in 4 months
GRURoot/comdev-site

Dec 2024 - May 2025

Website sources for the Apache Community Development Website
Contributions:2 reviews, 2 PRs, 5 pushes in 4 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.
Request Free Trial