Ryan Lee is a software engineer with a decade of hands-on experience and an M.S. in Computer Science from UMass Amherst, currently developing the AppArmor Linux Security Module at Canonical. He brings a focused interest in embedded security and cryptography, grounded in practical work integrating Python and Java for binary reverse-engineering at MITRE and assisting applied cryptography and security courses as a graduate TA. Comfortable across low-level systems, firmware interfaces, and tooling, he has also contributed to GUIs and hardware-adjacent designs earlier in his career. Colleagues describe him as a pragmatic problem-solver who bridges academic rigor with production engineering, often surfacing non-obvious security issues in embedded contexts.
10 years of coding experience
High School Diploma, High School Diploma at Leland High School
Master's degree, Computer Science, Master's degree, Computer Science at University of Massachusetts Amherst
A collection of formal properties for hardware buses, and cores using them.
Contributions:13 reviews, 70 commits, 3 PRs in 2 months
adacircuitsedapropertiesformal
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.