Ming-Tian Yang

Associate Consultant

Hong Kong, Hong Kong0 mo experience

Key Highlights

Strong foundation in programming languages and algorithms.
Active participant in competitive programming contests.
Research experience in bounded quantification mechanisms.

Stackforce AI infers this person is a Software Engineer with a focus on programming languages and educational technology.

Contact

Skills

Core Skills

Programming Language TheoryPython (programming Language)JavaClojureC++React.js

Other Skills

Type SystemsGitLinuxCShell ScriptingTypeScriptCascading Style Sheets (CSS)SpanishHong Kong Sign LanguagejQueryAJAXHTMLMongoDBExpress.jsNode.js

About

I am a rising final-year undergraduate at the University of Hong Kong (HKU), studying computer science (CS), general linguistics (GL), Chinese language & literature (CLL), and sustaining cities, cultures & the Earth (SCCE). In the field of CS, my primary interests lie in programming languages (PL) and algorithms. Currently, I am working on my capstone project, which explores bounded quantification mechanisms, under the supervision of Prof Bruno C d S Oliveira. Previously, I have worked at HKU Business School and at MoonBit. In both experiences, I was involved in various PL-related tasks. I am an avid participant in competitive programming (CP). As a member of Provinci, the CP team of hku, I actively participate in ICPC regional and continental contests alongside my skilled teammates. For further details, please refer to my curriculum vitæ.

Experience

The university of hong kong

2 roles

Teaching Assistant

Jan 2026 – Present · 2 mos · Hong Kong SAR

COMP3258 Functional Programming (Spring 2026)

Undergraduate Research Fellow

Jun 2024 – Apr 2025 · 10 mos · Hong Kong SAR

Topic: Decidable Bounded Quantification
Supervisor: Prof Bruno C d S Oliveira, Department of Computer Science

Programming Language TheoryType Systems

Idea

2 roles

PL and Dev Tools Intern

Apr 2024 – Jul 2024 · 3 mos · Shenzhen, Guangdong, China · Remote

Created the website for the "Programming with MoonBit: A Modern Approach" public course.
Constantly revised course materials to keep them up to date with the latest MoonBit standards.
Participated in the front-end development of MoonBit official website.

TypeScriptReact.jsCascading Style Sheets (CSS)

Assistant Lecturer Intern

Mar 2024 – Apr 2024 · 1 mo · Shenzhen, Guangdong, China · Remote

Translated the Chinese public course "Programming with MoonBit: A Modern Approach" into English.

The university of hong kong

3 roles

Student Research Assistant

Apr 2023 – Feb 2024 · 10 mos · Hong Kong SAR

Topic: Financial Data Science Tools and Libraries for Clojure
Supervisor: Prof Matthias M M Buehlmaier, HKU Business School

Clojure

Student Teaching Assistant

Sep 2022 – Dec 2024 · 2 yrs 3 mos · Hong Kong SAR

ENGG1330 Computer Programming I (Autumn 2022)
COMP2113 Programming Technologies / ENGG1340 Computer Programming II (Spring 2023)
COMP2113 Programming Technologies / ENGG1340 Computer Programming II (Spring 2024)
COMP2396 Object-Oriented Programming and Java (Autumn 2024)

Python (Programming Language)C++GitLinuxCShell Scripting+1