Undergraduate Research Fellow
CurrentTopic: Decidable Bounded QuantificationSupervisor: Prof Bruno C d S Oliveira, Department of Computer Science
Jun 2024 - Present
AeroLeads people directory · profile
Ming-Tian Yang Email & Phone Number
HKU CS '25
at
The University of Hong Kong
LinkedIn matched
✓ Verified May 2026
3 data sources
Profile completeness 86%
Current company
Role
HKU CS '25
Location
Hong Kong, Hong Kong SAR, Hong Kong
Who is Ming-Tian Yang? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Ming-Tian Yang is listed as HKU CS '25 at The University of Hong Kong, based in Hong Kong, Hong Kong SAR, Hong Kong. AeroLeads shows a matched LinkedIn profile for Ming-Tian Yang.
Ming-Tian Yang previously worked as Undergraduate Research Fellow at The University Of Hong Kong and Student Teaching Assistant at The University Of Hong Kong. Ming-Tian Yang holds Bachelor Of Engineering - Be, Computer Science, 3.98/4.3 (Overall); 4.06/4.3 (Major); Dean'S Honours List from The University Of Hong Kong.
Company email context
Email format at The University of Hong Kong
This section adds company-level context without repeating Ming-Tian Yang's masked contact details.
The University of Hong Kong
Review company-level records connected to Ming-Tian Yang before choosing the right outreach path.
Profile bio
About Ming-Tian Yang
I am a rising final-year undergraduate at the University of Hong Kong (HKU), studying Computer Science, General Linguistics and Chinese Language & Literature. In the field of computer science, my primary interests lie in programming languages and algorithms. In the field of linguistics, I am particularly fascinated by formal semantics and Chinese historical phonology.Currently, I am working as an undergraduate research fellow in programming language theory, under the supervision of Prof Bruno C d S Oliveira. In my spare time, I also work for the MoonBit programming language, primarily involved in the development of the Programming with MoonBit: A Modern Approach public course. Previously, I worked at HKU Business School, participating in the development of financial data science infrastructures.I am an avid participant in competitive programming (CP). As a member of Provinci, the CP team of HKU, I actively participate in ICPC Asia East regional and continental contests alongside my skilled teammates.
Current workplace
Ming-Tian Yang's current company
Company context helps verify the profile and gives searchers a useful next step.
6 roles
Ming-Tian Yang work experience
A career timeline built from the work history available for this profile.
Student Teaching Assistant
CurrentENGG1330 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)
Sep 2022 - Present
Student Research Assistant
Topic: Financial Data Science Tools and Libraries for ClojureSupervisor: Prof Matthias M M Buehlmaier, HKU Business School
Apr 2023 - Feb 2024
Pl And Dev Tools Intern
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.
Apr 2024 - Jul 2024
Assistant Lecturer Intern
Translated the Chinese public course "Programming with MoonBit: A Modern Approach" into English.
Mar 2024 - Apr 2024
Student Instructor
2022/23-SIC-06 AI and Robotics: An Introduction (a student-initiated course by HKU Astar)Lecture: Introduction to OOP in C++
Sep 2022 - Dec 2022
10 education records
Ming-Tian Yang education
Bachelor Of Engineering - Be, Computer Science, 3.98/4.3 (Overall); 4.06/4.3 (Major); Dean'S Honours List
Apru Virtual Student Exchange, Mathematics, 4.0/4.3
Apru Virtual Student Exchange, Modern Languages
Apru Virtual Student Exchange, Business & Economics, 4.0/4.5
Apru Virtual Student Exchange, English Language, 4.0/4.3
Summer Institute In The Arts & Humanities, Linguistics, 4.0/4.3
Apru Virtual Student Exchange, Theory And History Of Art, 6.0/7.0
Apru Virtual Student Exchange, Logic, 4.0/4.0
Semester Exchange Program, Chinese Language, Computer Science, Electrical Engineering, 4.67/5.0
High School Diploma
Zhenhai High School Of Zhejiang
FAQ
Frequently asked questions about Ming-Tian Yang
Quick answers generated from the profile data available on this page.
What company does Ming-Tian Yang work for?
Ming-Tian Yang works for The University of Hong Kong.
What is Ming-Tian Yang's role at The University of Hong Kong?
Ming-Tian Yang is listed as HKU CS '25 at The University of Hong Kong.
Where is Ming-Tian Yang based?
Ming-Tian Yang is based in Hong Kong, Hong Kong SAR, Hong Kong while working with The University of Hong Kong.
What companies has Ming-Tian Yang worked for?
Ming-Tian Yang has worked for The University Of Hong Kong and Idea.
How can I contact Ming-Tian Yang?
You can use AeroLeads to view verified contact signals for Ming-Tian Yang at The University of Hong Kong, including work email, phone, and LinkedIn data when available.
What schools did Ming-Tian Yang attend?
Ming-Tian Yang holds Bachelor Of Engineering - Be, Computer Science, 3.98/4.3 (Overall); 4.06/4.3 (Major); Dean'S Honours List from The University Of Hong Kong.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial