Ulises Araiza
Production Engineer at Meta
Greater Seattle Area United States
Summary
👤
Senior🎓
Top SchoolUlises 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 experience
11 years of employment as a software developer
Master of Computer Applications (M.C.A.) Computer Science, Master of Computer Applications (M.C.A.) Computer Science at Centro de Investigación y de Estudios Avanzados del IPNBachelor of Technology (B.Tech.) Computer Science, Bachelor of Technology (B.Tech.) Computer Science at Universidad de GuadalajaraGithub contributions (5)
ulisesmx/exercises
Apr 2016 - Jan 2019
Contributions:2 PRs, 468 pushes, 3 branches in 2 years 9 months
mx-ulises/code-practice
Jan 2022 - Feb 2023
Contributions:339 commits, 686 pushes in 1 year 1 month
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.