Colin Cai
Senior Engineer at Langham Hall
Hong Kong, China
Summary
👤
Senior🎓
Top SchoolColin Cai is a senior software engineer with over a decade of cross-platform experience building high-performance systems from CAD and 3D search engines to cloud-native web applications. He combines deep hands-on expertise in Java, C#, C++ and a broad toolset (Python, Perl, JavaScript, Shell) with strong architecture and data modeling skills, having led the creation of a pioneering 3D geometry search at Autodesk. His background spans finance, power distribution and manufacturing, where he delivered mission-critical distributed systems, post-trade workflows, and an Azure-based packaging design platform. Known for pragmatic leadership, he has a track record of improving developer productivity via tooling and driving end-to-end solutions across front-end, API and backend services. Based in Hong Kong, he pairs an MBA with engineering roots to balance technical decisions against business impact. Colleagues describe him as analytical, resourceful, and drawn to technically challenging projects that create measurable operational value.
4 years of coding experience
18 years of employment as a software developer
Bachelor, Engineering, Bachelor, Engineering at China University of Mining and TechnologyMaster, MBA, Master, MBA at Shanghai Jiao Tong University
Chinese, English
Github Skills (5)
lifting9
tla7
verification6
tlaplus5
synthesis5
Programming languages (4)
Github contributions (5)
colinc9/go-distributed-cache
Jul 2022 - Oct 2022
Contributions:16 pushes, 1 branch in 3 months
jieqiu0630/metalift
Aug 2023 - Jul 2024
A program synthesis framework for verified lifting applications
Contributions:2 PRs, 86 pushes, 3 branches in 10 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.