Michael Li
RTOS Software Engineer at Boeing
Greater St. Louis 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 (12)
apache-arrow10
parquet10
query-engine10
sql-query10
rust10
sql10
python10
dataframe10
olap9
big-data9
leptos2
markdown2
Programming languages (1)
Github contributions (5)
ngli-me/datafusion
Sep 2024 - Aug 2025
Contributions:37 pushes, 8 branches in 11 months
ngli-me/arrow-rs
Sep 2024 - May 2026
Official Rust implementation of Apache Arrow
Contributions:24 pushes, 7 branches in 1 year 8 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.