Dayeol Lee

Software Engineer - AI Systems at Meta

San Jose, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Dayeol Lee is a software engineer specializing in secure, scalable compute and AI systems, with 11 years of experience spanning startups, big tech, and research labs. Currently at Meta after roles at TikTok’s Privacy Innovation Lab and Anyscale, he blends systems security, enclave development, and privacy research to harden ML infrastructure. His open-source work on the Keystone Enclave demonstrates low-level expertise—adding PMP region support, robust memory management, and device-rooted sealing keys via openSBI. Dayeol holds a PhD in Computer Science from UC Berkeley and a track record of moving research ideas into production-grade security features.
code11 years of coding experience
job6 years of employment as a software developer
bookDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of California, Berkeley
bookMaster’s Degree Computer Science and Engineering, Master’s Degree Computer Science and Engineering at Pohang University of Science and Technology
languagesEnglish, Korean
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (4)

c1710
cryptography10
c1110
risc-v10

Programming languages (12)

JavaShellC++CStarlarkRustCoqScala

Github contributions (5)

github-logo-circle
keystone-enclave/keystone

Mar 2018 - Nov 2022

Keystone Enclave (QEMU + HiFive Unleashed)
Role in this project:
userBack-end Developer & Security Engineer
Contributions:2 releases, 50 reviews, 521 commits in 4 years 8 months
Contributions summary:Dayeol's contributions primarily involve enhancing the security monitor by introducing features like support for multiple PMP regions. They also added a test utility for verifying the code. The user refactored the code, integrating new features to add a proper sealing key with device root keys using the openSBI protocol, and making the memory management in the enclave more robust.
keystoneunleashedenclaveqemu
Eyrie enclave runtime kernel
Contributions:1 release, 20 reviews, 85 commits in 4 years 2 months
kernelruntimelinuxenclave
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.
Request Free Trial
Dayeol Lee - Software Engineer - AI Systems at Meta