Ming-tian Yang

Teaching Assistant at The University of Hong Kong

Hong Kong Island, Hong Kong, China
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Ming-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.
code9 years of coding experience
job1 year of employment as a software developer
bookAPRU Virtual Student Exchange Business & Economics, APRU Virtual Student Exchange Business & Economics at Korea University
bookAPRU Virtual Student Exchange English Language, APRU Virtual Student Exchange English Language at University of Science and Technology of China
bookThe University of Hong Kong (HKU)
bookAPRU Virtual Student Exchange Logic, APRU Virtual Student Exchange Logic at Tsinghua University
bookAPRU Virtual Student Exchange Theory and History of Art, APRU Virtual Student Exchange Theory and History of Art at Universidad de Chile
bookHigh School Diploma, High School Diploma at Zhenhai High School of Zhejiang
bookThe Chinese University of Hong Kong (CUHK)
bookSemester Exchange Program Chinese Language Computer Science Electrical Engineering, Semester Exchange Program Chinese Language Computer Science Electrical Engineering at National University of Singapore
bookAPRU Virtual Student Exchange Mathematics, APRU Virtual Student Exchange Mathematics at Nagoya University
bookHong Kong University of Science and Technology (HKUST)
languagesFrench, Chinese, English, Shanghainese, Chinese
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (10)

ide10
internationalization10
localization10
ch10
j8
cprogramming-language5
c-language5
delphix4
cpp4
delphi4

Programming languages (23)

JavaC++CSSLeanRustCCoqMakefile

Github contributions (5)

github-logo-circle
Embarcadero/Dev-Cpp

Jul 2020 - Feb 2021

A fast, portable, simple, and free C/C++ IDE
Role in this project:
userLocalization / Internationalization Specialist
Contributions:8 commits, 5 PRs, 10 comments in 6 months
Contributions summary:Ming-tian'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.
cppdev-cppwindowsdelphilinux
AY2324S1-CS2113-T17-1/tp

Oct 2023 - Nov 2023

Contributions:124 reviews, 44 PRs, 20 pushes in 1 month
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.
Request Free Trial
Ming-tian Yang - Teaching Assistant at The University of Hong Kong