Nicky García
Software Developer 2 at Oracle
Greater Mexico City, State of Mexico
Summary
👤
Senior🎓
Top SchoolNicky García is a Software Developer 2 at Oracle with a decade of experience building back-end systems and a deep academic grounding in mathematics. He blends practical engineering—shipping services for Fleet Patching & Provisioning—with formal methods research, currently writing a thesis on formal verification and teaching Agda and Homotopy Type Theory at UNAM. Equally at home in Django back-ends and statistical learning, he pursues intersections between computer science, software engineering and pure math, particularly category theory and homotopy type theory. Nicky’s profile reflects a rare mix of production-grade software delivery and formal proof expertise, complemented by hands-on data science training and full-stack web development certification. Based in Greater Mexico City, he brings a learner’s curiosity to complex, provable software and AI-infused data problems.
10 years of coding experience
2 years of employment as a software developer
Data Processing and Data Processing Technology/Technician, Data Processing and Data Processing Technology/Technician at BeduUniversidad Nacional Autónoma de México (UNAM)Full Stack Web Development Certification, Computer Software Engineering, Full Stack Web Development Certification, Computer Software Engineering at Free Code Camp
English, Spanish, Japanese
Github Skills (2)
python2
data-science1
Programming languages (2)
Github contributions (5)
kotoromo/workbook-proteco-ia
May 2018 - Nov 2018
Contributions:28 commits, 24 pushes, 1 branch in 6 months
kotoromo/Numeric_Methods
Feb 2017 - Nov 2017
Contributions:25 pushes, 1 branch in 8 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.