Miles Dai
United States
Summary
🤩
Rockstar🎓
Top SchoolMiles Dai is a founding engineer with nine years of experience building hardware-rooted security and private AI systems, currently developing verifiably private AI using Trusted Execution Environments. He helped build OpenTitan at Google and contributed CI, testing and tooling improvements to the widely used OpenTitan repo, improving build reliability and speed through Bazel remote caching and test refactoring. His background blends hands-on systems and firmware work with academic research on side-channel attacks at MIT CSAIL, including a USENIX Security paper on mesh interconnect vulnerabilities. Miles has startup experience at zeroRISC and Tinfoil, plus prior roles optimizing ML model deployment at AWS SageMaker Neo, showing a rare crossover of hardware security, cloud ML tooling, and production automation. Colleagues would describe him as detail-oriented with a penchant for streamlining CI and dependency hygiene to make complex silicon and security projects more reproducible.
9 years of coding experience
4 years of employment as a software developer
Computer Science and Electrical Engineering, Computer Science and Electrical Engineering at Massachusetts Institute of TechnologyCore 40 Academic Honors Diploma, Core 40 Academic Honors Diploma at Carmel High School
English, Chinese
Github Skills (11)
sh10
automation10
script10
automations10
shell10
bazel10
scripting10
cicd10
verilog9
gcp8
rust7
Programming languages (7)
Github contributions (5)
lowRISC/opentitan
Feb 2022 - Jan 2023
OpenTitan: Open source silicon root of trust
Role in this project:
DevOps Engineer & Automation Engineer
DevOps Engineer & Automation EngineerContributions:393 reviews, 112 commits, 194 PRs in 11 months
Contributions summary:Miles primarily focused on enhancing the Continuous Integration (CI) process for the `lowrisc/opentitan` repository. Their contributions included enabling and configuring Bazel remote caching to improve build times, removing deprecated dependencies, and refactoring testing configurations for FPGA builds. Additionally, they streamlined the Verilator testing setup, reduced test counts to improve CI stability, and integrated shell script linters. The user also implemented code style checks and improved dependency handling within the CI system.
root-of-trustrootsilicontrust
MIT-Scioly/MIT-Scioly.github.io
Jun 2018 - Jan 2022
MIT Science Olympiad Blog
Contributions:1 review, 10 PRs, 213 pushes in 3 years 7 months
sciencescience-olympiadolympiadjekyllmit
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.