Minchao Wu
Research Assistant, Teaching Assistant at HKUST
Hong Kong, China
Summary
🤩
Rockstar🎓
Top SchoolMinchao Wu is an experienced CFD engineer and researcher with nine years in aeronautics-focused simulation, wind tunnel testing, heat transfer and gas turbine blade design, currently conducting wind and smoke behaviour studies at HKUST. He combines hands-on CFD expertise using industry tools with teaching responsibilities, delivering tutorials and supporting undergraduate instruction. His industry background includes internships and engineering roles at Rolls-Royce and Airbus where he developed and validated engine-representative CFD models for tip heat transfer and multiphase fuel systems. Academically trained at Bristol and Oxford, he blends rigorous research methods with practical validation against experimental data. Beyond engineering, he has demonstrated leadership organizing high-profile academic events at Oxford, including talks by Lord Chris Patten and two Nobel laureates. He also contributes to open-source mathematical tooling, having added foundational finset support to the mathlib3 library.
9 years of coding experience
1 year of employment as a software developer
Master by Research in Engineering, Fluid Mechanics, CFD, wind tunnel testing, thermodynamics, heat transfer, gas turbine blade design, Master by Research in Engineering, Fluid Mechanics, CFD, wind tunnel testing, thermodynamics, heat transfer, gas turbine blade design at University of OxfordBEng, Aeronautical Engineering, BEng, Aeronautical Engineering at University of Bristol
cantonese (native), mandarin (native), english (fluent, studied in the uk over 8 years)
Github Skills (10)
mathematics10
theorem-proving10
proofs10
proof10
math10
leanback10
maths10
automation9
automations9
formal-methods9
Programming languages (6)
Github contributions (5)
leanprover-community/mathlib3
Aug 2017 - Nov 2020
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 reviews, 37 commits, 19 PRs in 3 years 3 months
Contributions summary:Minchao primarily contributed to the `mathlib3` repository by adding foundational elements for finsets. This involved creating the basic functionalities for finsets and fixing formatting issues within the codebase. Their work included adding new features to data/finset/basic.lean, which is consistent with the stated goal of the repository.
maththeorem-provingcomponents-librarymathematicsjavascript
minchaowu/ModalTab
Oct 2018 - Jun 2020
Contributions:70 commits, 63 pushes, 1 branch in 1 year 8 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.