Carlos Cheung
Security Software Engineer at Microsoft
Arlington, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolCarlos Cheung is a Security Software Engineer with 12 years of experience focused on low-level systems and practical defenses, currently hardening Azure's foundational platform at Microsoft. He has deep reverse-engineering and embedded systems expertise from leading ARM TrustZone research and building automated analysis tools at MITRE, where he also managed cross-language engineering teams and shipped a cloud container solution that cut costs 25%. Carlos combines hands-on C and Python development with applied research—creating novel graph-matching and data-flow techniques integrated into Ghidra workflows—to accelerate vulnerability discovery. He also brings startup CTO experience driving mobile and backend architecture, and a background teaching embedded Linux, which underpins his blend of engineering, mentorship, and operational practicality.
12 years of coding experience
8 years of employment as a software developer
Bachelor of Science (B.S.), Electrical and Electronics Engineering, Bachelor of Science (B.S.), Electrical and Electronics Engineering at Boston University
Github Skills (57)
gremlin9
graph9
pe-analyzer9
lg9
tinkerpop9
mimalloc8
high-performance8
reverse-engineering8
graphdb8
graph-database8
hvac8
security8
java8
gremlin-server8
unix7
Programming languages (7)
Github contributions (5)
admiralFedora/544
Sep 2015 - Dec 2015
Contributions:201 commits, 182 pushes, 2 branches in 3 months
katshup/N-Body
Nov 2013 - Jan 2014
Contributions:69 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.