Ulises Martinez
United States, Mexico
Summary
👤
SeniorUlises Araiza is a production-focused software engineer with 11 years of experience building and validating resilient systems across major tech companies including Meta, Microsoft, Google, Oracle, Intel and IBM. He blends SRE and QA expertise—authoring automated test suites and RAS components in Python, Perl, Bash and C/C++—to detect, notify and correct faults in complex, high-concurrency systems such as cloud services and HPC platforms. His academic work on formal model verification with Petri nets and temporal logic informs a disciplined approach to system property verification and automated correction. A practical tinkerer who keeps a public code footprint on GitHub and HackerRank, he’s currently applying his skills to cloud-native production engineering and real-world domains like IoT, smart cities and supply chain optimization.
11 years of coding experienceGithub contributions (5)
ulisesmx/exercises
Apr 2016 - Jan 2019
Contributions:2 PRs, 468 pushes, 3 branches in 2 years 9 months
mx-ulises/go-learning
Dec 2023 - Jan 2026
Contributions:670 pushes, 1 branch in 2 years
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.