Xiaoqing Jin
Technical Lead at Apple
Sunnyvale, California, United States
Summary
👤
Senior🎓
Top SchoolXiaoqing Jin is a Technical Lead with 8 years of experience at the intersection of research and industry, currently driving reliability and safety efforts for real-time cyber-physical systems at Apple. She combines rigorous mathematical techniques—model checking, theorem proving, temporal logic—with practical testing and ML-driven specification mining to make embedded and robotics systems more robust. Her career includes impactful R&D roles at Toyota and Decyphir where she designed requirement-mining frameworks and end-to-end verification architectures adopted by vehicle and robotic teams, and she holds a Ph.D. in Computer Science. Known for translating academic advances into production tools, she has built cross-industry research collaborations and mentored PhD interns whose work earned top awards. Based in Sunnyvale, she brings a rare blend of formal-methods depth and hands-on systems engineering that accelerates technology transfer into operational products.
8 years of coding experience
9 years of employment as a software developer
Master Computer Applications, Master Computer Applications at Wuhan UniversityPh.D. Computer Science, Ph.D. Computer Science at University of California, Riverside
English, chinease, Japanese
Stackoverflow
135reputation
4kreached
1answer
3questions
Github Skills (5)
memory-model6
concurrent-queue6
tbb6
sorting6
mutex6
Github contributions (1)
decyphir/breach
Dec 2017 - May 2018
Contributions:42 commits in 5 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.