Alex Pérez
Senior Software Engineer at Microsoft
Simpsonville, South Carolina, United States
Summary
👤
Senior🎓
Top SchoolAlex Pérez is a Senior Software Engineer with 14 years of professional experience and a deep academic background in programming languages and formal methods. He has built secure, high-performance systems across domains—from hardening embedded Linux and runtime linkers at Raytheon to migrating Android's build infrastructure to Bazel at Google, and now contributing to Microsoft. Trained as a mathematician and formal semanticist, he blends rigorous research (PhD-level work in static analysis and verified compilers) with pragmatic engineering, rearchitecting trading platforms and developing real-time, TPM-backed secure OSes. Known for tackling low-level, security-sensitive problems—kernel modules, obfuscation tools, and build-system migrations—he brings rare expertise at the intersection of formal verification, systems programming, and applied cybersecurity.
14 years of coding experience
10 years of employment as a software developer
Southside High SchoolMS Computer Science, MS Computer Science at Georgia Institute of TechnologyPhD Computer Science (Programming Languages), PhD Computer Science (Programming Languages) at Northeastern University
Spanish, French, English, cplusplus, lisps, idris2, haskell, agda, c, coq, scala, python, ocaml, perl, bash, racket, epigram, java
Github Skills (6)
modular7
toolchain6
clang6
llvm5
compiler4
ram1
Programming languages (1)
Github contributions (5)
parcha/oocfa2
Apr 2012 - Feb 2014
Contributions:65 commits in 1 year 10 months
deeglaze/temporal-aam
Jun 2013 - Aug 2013
Contributions:40 commits in 2 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.