Yang Ming-Tian
Hong Kong Island, Hong Kong, China
Summary
🤩
RockstarMing-tian Yang is a doctoral student and teaching assistant in the Programming Languages Group at The University of Hong Kong with nine years of experience bridging teaching, research, and developer tools. He teaches functional programming and has supported multiple undergraduate programming courses while contributing research on decidable bounded quantification and financial data science tooling. Comfortable across languages and pedagogy, he has interned on PL and developer tools projects, translated course materials, and helped internationalize the popular Dev-Cpp IDE by adding and improving East Asian language support. His background includes diverse international exchanges and interdisciplinary study—ranging from logic and mathematics to arts and languages—reflecting a rare blend of formal PL theory, practical tooling, and multilingual outreach.
9 years of coding experience
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (10)
ide10
internationalization10
localization10
ch10
j8
cprogramming-language5
c-language5
delphix4
cpp4
delphi4
Programming languages (23)
Github contributions (5)
Embarcadero/Dev-Cpp
Jul 2020 - Feb 2021
A fast, portable, simple, and free C/C++ IDE
Role in this project:
Localization / Internationalization Specialist
Localization / Internationalization SpecialistContributions:8 commits, 5 PRs, 10 comments in 6 months
Contributions summary:Yang's contributions primarily involve updating and adding language translations for the Dev-C++ IDE. They updated existing Chinese (Simplified and Traditional) translations and added support for Japanese in the setup wizard. The work focused on modifying language files to ensure accurate and complete localization of the user interface. This suggests a focus on expanding the IDE's accessibility to a wider global audience.
cppidedev-cppeditorwindows
skylee03/da-jia-lai-zhao-cha
Jul 2020 - Jun 2021
Contributions:38 commits, 35 pushes, 1 branch 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.