Michael Li
RTOS Software Engineer at Boeing
Houston, Texas, United States
Summary
🤩
Rockstar🎓
Top SchoolMichael Li is an RTOS software engineer based in Houston with three years of hands-on experience building low-latency, safety-conscious systems for automotive and aerospace domains. He has driven measurable performance gains—such as a 10x reduction in message routing latency at General Motors and halving camera input latency via multi-threaded C++ designs—and has practical experience with RTOS, embedded C/C++, Java Spring Boot, Akka, and containerized shift-left testing. His background spans telematics, ADAS camera processing, and cloud-connected vehicle services, including production deployments that integrate CosmosDB and authentication flows. Michael also brings research experience in computational photography and AI-enabled education from his work at Arizona State University, evidencing a knack for bridging cutting-edge algorithms with production constraints. Known for hunting concurrency bugs with tools like ThreadSanitizer and instrumenting systems for observability, he delivers robust, testable software across the stack.
3 years of coding experience
4 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Arizona State University
Github Skills (14)
dataframe10
parquet10
apache-arrow10
sql-query10
rust10
sql10
python10
java10
database10
apache9
olap9
query-engine9
big-data9
object-store7
Programming languages (1)
Github contributions (5)
ngli-me/datafusion
Sep 2024 - Mar 2025
Contributions:35 pushes, 8 branches in 6 months
ngli-me/oiqdb
Jan 2024 - Aug 2024
Contributions:28 pushes, 1 branch in 7 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.