Da Li
Design Verification Engineer
San Francisco Bay Area United States
Summary
🤩
Rockstar🎓
Top SchoolDa Li is a design verification engineer with 11 years of experience in high-performance hardware and infrastructure verification across Meta, Microsoft, Intel, Nuro, and Marvell. He specializes in complex protocol and FPGA verification—CXL, PCIe, USB, and Azure infrastructure—and currently focuses on MTIA verification at Meta. Comfortable bridging hardware and software, he has contributed to the LLVM-based Numba compiler by improving Unicode and string handling, demonstrating an eye for efficient algorithms beyond typical verification work. Trained in microelectronics (BS) and computer engineering (MS), he brings a methodical, systems-level approach to finding subtle bugs and hard-to-reproduce failures in silicon and firmware.
11 years of coding experience
11 years of employment as a software developer
Master's degree, Computer Engineering, Master's degree, Computer Engineering at Syracuse UniversityBachelor of Science (BS), Microelectronics, Bachelor of Science (BS), Microelectronics at South China University of Technology
Chinese, English
Github Skills (9)
text-manipulation10
compiler10
compiler-compiler10
numba10
strings10
python10
numpy10
unicode10
llvm10
Programming languages (11)
Github contributions (5)
numba/numba
May 2022 - Dec 2022
NumPy aware dynamic Python compiler using LLVM
Role in this project:
Back-end Developer
Back-end DeveloperContributions:48 reviews, 26 commits, 45 PRs in 7 months
Contributions summary:Da primarily contributed to the Numba project by implementing and improving string-related functionalities within the compiler. They added support for `str(bool)` syntax and implemented `startswith` with arguments. Their work involved modifying code related to unicode handling, including efficient string-matching algorithms. Furthermore, they updated documentation and header comments.
cudapythonparallelnumpynumba
dlee992/numba
Mar 2022 - Jul 2024
NumPy aware dynamic Python compiler using LLVM
Contributions:4 PRs, 206 pushes, 39 branches in 2 years 3 months
pythonnumpynumbacompilersympy
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.