Tuan Ngo
IT Lecturer at RMIT University Vietnam
Vietnam
Summary
👤
Senior🎓
Top SchoolTuan Ngo is an IT lecturer and software engineer with over a decade of experience spanning higher education, compiler engineering, and research in concurrency and verification. He has designed and delivered large-scale undergraduate curricula at RMIT Vietnam while leading cross-campus teams and industry partnerships to boost employability. In industry, he contributed as one of ~20 engineers to the commercially critical IAR Embedded Workbench for ARM/RISC‑V, improving compiler backends and performance competitive with GCC/LLVM on industry benchmarks. His research track record includes a PhD and OOPSLA publications on weak memory and model checking, and contributions to the Nidhugg stateless model checker. Tuan combines deep systems-level expertise (compilers, verification, embedded) with practical teaching and product delivery, making him effective at translating advanced research into production-grade tools. He is based in Vietnam and is noted for turning theoretical insights into measurable performance and educational outcomes.
10 years of coding experience
14 years of employment as a software developer
Bachelor's degree, Computer Science, Top 5% in Department of Information Technology, Bachelor's degree, Computer Science, Top 5% in Department of Information Technology at Hanoi University of Science and TechnologyDoctor of Philosophy (Ph.D), Computer Science, Doctor of Philosophy (Ph.D), Computer Science at Uppsala University
Github Skills (13)
partial10
concurrent10
targets10
pthreads10
arm9
concurrency9
garbage-collector9
consistency9
memory-management9
verification1
parallel1
vips1
insertion1
Programming languages (3)
Github contributions (5)
PhongNgo/persist
Jun 2015 - May 2024
Contributions:43 pushes in 9 years
PhongNgo/dualtso
May 2018 - May 2024
Contributions:13 pushes in 6 years 1 month
memoryparallelinsertionrelaxedprototype
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.