Albert Jiang is an MEP engineer with 10 years of hands-on experience designing Building Automation System architectures, programming PLCs, and integrating robotic arms to optimize industrial processes. He has delivered automation projects across distributors and multinational firms in Taiwan, including roles at ABB robotic arms and Schneider Electric channels before engineering projects at Johnson Controls and TYLin. Known for blending software design with practical field deployment, he focuses on solutions that boost safety, efficiency, and maintainability. His background in clinical laboratory science gives him a methodical, data-driven approach to troubleshooting complex systems. Outside work he describes himself playfully as an "alchemist," suggesting a curiosity for experimentation that informs creative engineering solutions.
10 years of coding experience
5 years of employment as a software developer
N/A, Clinical Laboratory Science/Medical Technology/Technologist, N/A, Clinical Laboratory Science/Medical Technology/Technologist at Kaohsiung Medical University
Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Contributions:73 commits, 5 PRs, 69 pushes in 2 years 5 months
intinequalitytheoremgeneralizationtheorem-proving
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.