Min-hsien Weng
Computer Scientist at UNIVERSITY OF WAIKATO
Hamilton, Waikato, New Zealand
Summary
👤
Senior🎓
Top SchoolMin-hsien Weng is a computer scientist with a PhD and 12 years of experience bridging research and industry across compilers, programming languages, and applied machine learning. He blends deep formal methods and compiler design with practical software integration from a decade at ITRI, and recently shifted to NLP and LLM-driven urban studies during a Waikato postdoc. His work ranges from formally verified compiler tooling to transformer-based topic analysis and LLM tools for public consultation and AI-text detection, with notable Kaggle distinctions (Top 150 Notebooks, Top 0.5% competitions). Comfortable taking projects from prototype to production, he has delivered solutions used by industry partners (e.g., energy forecasting, Google-hosted runtime prediction) and built RFID-enabled exhibition systems that led to patents. Based in Hamilton, New Zealand, he combines rigorous academic training with hands-on system design and an uncommon talent for translating complex research into real-world impact.
12 years of coding experience
9 years of employment as a software developer
Bachelor's degree, Industrial Engineering and Management, 84.10 (ranked in the top 10 percent of the class)., Bachelor's degree, Industrial Engineering and Management, 84.10 (ranked in the top 10 percent of the class). at National Chiao Tung UniversityDoctor of Philosophy (PhD), Mathematics and Computer Science, Doctor of Philosophy (PhD), Mathematics and Computer Science at University of WaikatoMaster's degree, Industrial Engineering and Engineering Management, Master's degree, Industrial Engineering and Engineering Management at National Tsing Hua University
English, Chinese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (8)
preprocessor8
programming-language5
machine-learning5
theorem-proving5
boogie5
compiler4
transpiler4
llm-inference1
Programming languages (4)
Github contributions (5)
samminweng/urban_narratives
Jul 2021 - Jul 2023
Contributions:1 release, 21 pushes, 1 branch in 2 years
samminweng/AionUrbanStudies
Sep 2021 - Sep 2022
Contributions:593 commits, 10 pushes in 1 year
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.